Mechanizing mathematical reasoning
essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Edición de la obra Mechanizing mathematical reasoning
| Autor | Jörg H. Siekmann, Dieter Hutter, Werner Stephan |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2005 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 563 |
| ISBN-10 | 3540250514 |
| OCLC | 58422010 |
| LCCN | 2005921072 |