Theory and Applications of Models of Computation

Editeur: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Constitutes the proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. This book addresses major areas in computer science; mathematics, especially logic; and the physical sciences, particularly with regard to computation and computability theory.
Sur commande
Constitutes the proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. This book addresses major areas in computer science; mathematics, especially logic; and the physical sciences, particularly with regard to computation and computability theory.
ISBN / EAN 9783540725039
Editeur Springer-Verlag Berlin and Heidelberg GmbH & Co. KG