Home
Speed Tests
Login

Robert S. Boyer

Identifiers

Open LibraryOL951250A

Top Subjects

Automatic theorem proving (1)
Logic, Symbolic and mathematical. (1)
Automatic theorem proving. (1)

Books by Robert S. Boyer

Total count: 3

A computational logic

Academic Press1979-01-01
A computational logic handbook

Academic Press1988-01-01
Computational Logic Handbook (Academic Press International Series in Formal Methods)

Academic Press1997-10-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.