Automated Reasoning and Mathematics
Subtitle: Essays in Memory of William W. McCune
Publisher: Springer
Published: Mar 19, 2013
Format: paperback
Number of pages: 279
ISBN-13: 9783642366741
Notes: Source title: Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science (7788))