Home
Speed Tests
Login

Carl Eastlund

Identifiers

Open LibraryOL8248810A

Top Subjects

Automatic theorem proving (1)
Lisp (computer program language) (1)

Books by Carl Eastlund

Total count: 1

Little Prover

MIT Press2015-01-01

Reading Length

Reading Speed Tests
Privacy
Terms
Login
Register

Like Reading Length? Support it with a coffee (or book)!

Stop scrolling and start reading!

© 2015 - 2026 Reading Length.

Made with ♥ in Boise by Bridger Putnam.

Word count estimates aren’t always exact. If you're an author or have a more accurate figure, contact me.

Some links on this site are affiliate links. If you buy through them, I may earn a small commission at no extra cost to you.

Bookshop.org supports local bookstores, even when you buy online.

As an Amazon Associate, I earn from qualifying purchases. Amazon and the Amazon logo are trademarks of Amazon.com, Inc. or its affiliates.