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.
- Limba : Engleza
- Data Publicarii : 09 May 2007
- Format : Paperback
- Numar pagini : 785
- ISBN : 9783540725039