Little Prover

by , ,
No cover

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

248 pages

English language

Published April 9, 2015 by MIT Press.

ISBN:
978-0-262-52795-8
Copied ISBN!

View on OpenLibrary

5 stars (1 review)

2 editions

Subjects

  • Automatic theorem proving
  • Lisp (computer program language)