Automated Theorem Proving
Subtitle: Theory and Practice
Publisher: Springer
Published: May 24, 2013
Format: paperback
Number of pages: 245
ISBN-13: 9781461265191
Notes: Source title: Automated Theorem Proving: Theory and Practice