J. Strother Moore | Bookhype

Jun 30, 2000

Cover of Computer-Aided Reasoning

Computer-Aided Reasoning (Advances in Formal Methods, #3)

Nov 28, 1997

Cover of The Computational Logic Handbook

The Computational Logic Handbook

Jan 31, 1996

Cover of Piton

Piton (Automated Reasoning, #3)

Jan 1, 1979

Cover of Computational Logic

Computational Logic

Feb 1, 1975

Cover of Introduction to Abstract Algebra

Introduction to Abstract Algebra