Little Prover
Little Prover
Carl Eastlund
,
Duane Bibby
,
Daniel P. Friedman
Details
OL Work ID
OL21569615W
Subjects
Automatic theorem proving
Lisp (computer program language)
LISP (Computer program language)
Find this book
Hardcover
Open Library