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
Utgitt
Berlin : Springer , c2005
Omfang
IX, 563 s. : ill.
Emner
ISBN
3540250514

Bibliotek som har denne