Skip to:Content
|
Bottom
Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Title:
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Author:
Hutter, Dieter. editor.
ISBN:
9783540322542
Physical Description:
IX, 565 p. Also available online. online resource.
Series:
Lecture Notes in Computer Science, 2605
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 2605
Added Author:
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 183241-2001 ONLINE
Searching...

On Order

Go to:Top of Page