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