Mechanizing mathematical reasoning
de Jörg H. Siekmann, Dieter Hutter, Werner Stephan
Materias
Ediciones (2)
- Mechanizing Mathematical Reasoning (2011)
Springer London, Limited · inglés · ISBN 9783540322542
- Mechanizing Mathematical Reasoning (2005)
Springer · inglés · ISBN 9783540250517
