H ? « ‹ ← → › »

Language peer sets for Nqthm:
United States↑
United States/1975↑
Designed 1975 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

Nqthm (685/nqt001)

 ACL2 logo
alternate simple view
Country: United States
Designed 1975
Published: 1975

Theorem prover by Boyer and Moore
Related languages
Common LISP → Nqthm   Extension of
Nqthm → ACL2   Evolution of
References:
  • R.S. Boyer et al (1975) R.S. Boyer et al "Proving Theorems About LISP Functions" pp129-144
          in [ACM] (1975) [ACM] JACM 22(1) January 1975
  • Boyer and Moore (1979) Boyer and Moore "A Computational Logic", Academic Press, 1979.
          in [ACM] (1975) [ACM] JACM 22(1) January 1975
  • Matt Kaufmann, Panagiotis Manolios, and J Strother (2000) Matt Kaufmann, Panagiotis Manolios, and J Strother Moore, "Computer-Aided Reasoning: An Approach" Kluwer Academic Publishers, June, 2000 Online copy
          in [ACM] (1975) [ACM] JACM 22(1) January 1975
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder