Home Advanced Search

Advanced Search - Page 1

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
  • PDF
  • English
  • Year: 1996
  • Author: J Strother Moore
Introduction to Abstract Algebra
  • PDF
  • English
  • Year: 1975
  • Author: J. Strother Moore (Auth.)
A Computational Logic Handbook
  • PDF
  • English
  • Year: 1988
  • Author: Robert S. Boyer, J Strother Moore
Computer-aided reasoning: ACL2 case studies
  • DJVU
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)
Computer-Aided Reasoning: ACL2 Case Studies
  • PDF
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)
Computer-Aided Reasoning: An Approach
  • DJVU
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
Computer-Aided Reasoning: An Approach
  • PDF
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
A Computational Logic
  • PDF
  • English
  • Year: 1979
  • Author: Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
Design and Verification of Microprocessor Systems for High-Assurance Applications
  • PDF
  • English
  • Year: 2010
  • Author: Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.)
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.)
search