Litt
le prover
The little prover
Friedman, Daniel P.
creator
Eastlund, Carl.
text
bibliography
mau
London, England
MIT Press
2015
monographic
eng
xiii, 229 pages ; 23 cm.
Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More.
Automatic theorem proving
LISP (Computer program language)
511.36028563 FRI
9780262527958 (pbk.)
150123
20250930201016.0