Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Title:
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author:
Bonacina, Maria Paola. editor.
ISBN:
9783642366758
Physical Description:
XX, 259 p. 27 illus. online resource.
Series:
Lecture Notes in Computer Science, 7788
Added Author:
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 334264-1001 ONLINE(334264.1)
Searching...

On Order