Little ProverDaniel P. Friedman, Carl Eastlund et al.

Little Prover

Name: Little Prover
ISBN: 9780262330558

Daniel P. Friedman, Carl Eastlund, Duane Bibby

2015248 pages

No counted ratings yet

2 editions

Track this book

You choose which shelves are public. Progress and read dates stay yours.

Add to list

About

No description yet.

More by Daniel P. Friedman

All books

More like this

The Little SchemerDaniel P. Friedman, Matthias Felleisen

The Little Schemer

Daniel P. Friedman, Matthias Felleisen · 1996

Want to read

Essentials of programming languagesDaniel P. Friedman

Essentials of programming languages

Daniel P. Friedman · 1992

Want to read

The seasoned schemerDaniel P. Friedman

The seasoned schemer

Daniel P. Friedman · 1996

Want to read

Structure and Interpretation of Computer Programs (SICP)Harold Abelson, Gerald Jay Sussman et al.

Structure and Interpretation of Computer Programs (SICP)

Harold Abelson, Gerald Jay Sussman et al. · 1985

Want to read

Artificial intelligenceGeorge F. Luger, LUGER et al.

Artificial intelligence

George F. Luger, LUGER et al. · 1993

Want to read

Practical Common LispPeter Seibel

Practical Common Lisp

Peter Seibel · 2005

Want to read

Land of LispConrad Barski

Land of Lisp

Conrad Barski · 2010

Want to read

Realm of RacketForrest Bice, Matthias Felleisen et al.

Realm of Racket

Forrest Bice, Matthias Felleisen et al. · 2013

Want to read

Reviews

Rating integrity

Healthy

Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

2 editions

Other · English · 2015
MIT Press · 248 pages · 9780262330558
Other · English · 2015
MIT Press · 248 pages · 9780262527958

Automatic theorem provingLisp (computer program language)LISP (Computer program language)