J Strother Moore

Little Prover  Daniel P Friedman Carl Eastlund Duane Bibby J Strother Moore Matthias Felleisen eBook. The MIT Press, 2015-07-10 ISBN 9780262330565     Computer-Aided Reasoning  Matt Kaufmann Panagiotis Manolios J Strother Moore eBook. Springer US, 2013-04-17 ISBN 9781475731880     Computer Aided Reasoning Two Volume Set  Matt Kaufmann Panagiotis Manolios J. Strother Moore Hardcover. Kluwer Academic Publishers, 2001-02-15 ISBN 9780792378808     Computer-Aided Reasoning  Matt Kaufmann Panagiotis Manolios J. Strother Moore Hardback. Kluwer Academic Publishers Group, 2000-06-30 ISBN 9780792377443     Computational Logic Handbook (Academic Press International Series in Formal Methods)  Robert S. Boyer J. Strother Moore Hardcover. Academic Press, 1997-10 ISBN 9780121229559     The Computational Logic Handbook (Perspectives in Computing, Vol 23)  Robert S. Boyer J. Strother Moore Hardcover. Academic Press, 1988-11-01 ISBN 9780121229528     Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)  J Strother Moore Hardcover. Springer, ISBN 9780792339205