![Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
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:
Electronic Access:
http://dx.doi.org/10.1007/b106663Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 183241-2001 | ONLINE | Searching... | Searching... |