The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

by Larry Wos Hardcover details (United States). ISBN: 978-0-12-763420-3 ISBN-10: 0-12-763420-7 Academic Press · 1996