- Qualitative reasoning, Automatic theorem proving, Artificial intelligence, Knowledge representation (information theory)
Log it
Sign in to log this.
Character
Cool, earnest, grave and classical in form.
- cooloverwhelming
- earnestironic
- gravecomic
- classical in formformally daring
- sparerichly built
Who loves it, who doesn't
No profiled raters yet.
Ask the title
A yes-or-no question, answered from what people wrote here, on TMDB and on Wikipedia. Never made up.
YesNoUnclear
Reviews
No reviews yet.
About the book
- Author
- J. A. Robinson, A. Voronkov
- First published
- 2001
- Pages
- 2128
- Publisher
- Elsevier, North Holland, MIT Press
- Editions
- 1
- Language
- English
- ISBN
- 9780444508133
Where to read
Libraries first: a card gets you most books for nothing. Each opens that service’s page for this title.
First sentence
“With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, presented an ideal target for those interested in experimenting with computer programs that purported to implement the "higher" human faculties.”
Similar in taste
Closest on the same fourteen dimensions, from everything scored on Tastebuds Other media included when they land close.
- Both cool, earnest, grave.
Both cool, earnest, grave.- Genera Palmarum 198786% alikeBoth cool, earnest, grave.
Atlas of Finite Groups 198585% alikeBoth cool, earnest, grave.
Both cool, earnest, grave.
Both cool, earnest, grave.
Han yu da ci dian 200184% alikeBoth cool, earnest, grave.- Particle dark matter 200984% alikeBoth cool, earnest, grave.
Film · Both grave, earnest, classical in form; this one is more bleak.
Football Manager 2024 202363% alikeGame · Both classical in form, earnest, grave; this one is more unpretentious.