Search - List of Books by J. Strother Moore

Total Books: 5
Computer-Aided Reasoning An Approach
2000 - Computer-aided Reasoning an Approach [Advances in Formal Methods] (Hardcover)
ISBN-13: 9780792377443
ISBN-10: 0792377443
Genres: Computers & Technology, Science & Math
  ?

Computational Logic Handbook
1997 - Computational Logic Handbook [Academic Press International Series in Formal Methods] (Hardcover)
ISBN-13: 9780121229559
ISBN-10: 0121229556
Genres: Science & Math, Engineering & Transportation
  ?

Piton A Mechanically Verified Assembly-Level Language
1996 - Piton a Mechanically Verified Assembly-level Language [Automated Reasoning Series] (Hardcover)
ISBN-13: 9780792339205
ISBN-10: 0792339207
Genres: Computers & Technology, Science & Math
  ?

Introduction to Abstract Algebra
1975 - Introduction to Abstract Algebra (Hardcover)
ISBN-13: 9780125057509
ISBN-10: 0125057504
Genre: Science & Math
  ?

The Computational Logic Handbook
The Computational Logic Handbook [Perspectives in Computing, Vol 23] (Hardcover)
ISBN-13: 9780121229528
ISBN-10: 0121229521
Genres: Computers & Technology, Nonfiction, Science & Math, Engineering & Transportation
  ?