Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday


Dieter Hutter, Werner Stephan (eds.)
Bok Engelsk 2005

Detaljer

Bibliotek som har denne