Conte aos seus amigos sobre este item:
Proof and Computation - Nato ASI Subseries F: Helmut Schwichtenberg Softcover reprint of the original 1st ed. 1995 edition
Proof and Computation - Nato ASI Subseries F:
Helmut Schwichtenberg
Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993
470 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 13 de dezembro de 2011 |
| ISBN13 | 9783642793639 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 470 |
| Dimensões | 155 × 235 × 24 mm · 675 g |
| Idioma | Alemão |
| Editor | Schwichtenberg, Helmut |