Enviar aquest missatge de text: Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).