J. Strother Moore
Identifiers
- Open LibraryOL5676688A
Books by J. Strother Moore
Total count: 5
-
Computer-Aided ReasoningIsland Press2000-01-01
-
Introduction to Abstract AlgebraElsevier Science & Technology Books2014-01-01
-
Computational Logic HandbookFormerly Notes and Reports in Computer Science and Applied MathematicsElsevier Science & Technology Books2014-01-01
-
Computational LogicElsevier Science & Technology Books2014-01-01
-
Little ProverMIT Press2015-01-01