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 | Dieter Hutter, Werner Stephan |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| ISBN-13 | 9783540322542 |
| Número de Cutter | H983m |