Little Prover

by , ,
No cover

Daniel P. Friedman, Carl Eastlund, Duane Bibby: Little Prover (2015, MIT Press)

248 pages

English language

Published Jan. 24, 2015 by MIT Press.

View on OpenLibrary

2 stars (1 review)

2 editions

Subjects

  • Automatic theorem proving
  • Lisp (computer program language)