Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Handbook Of Automated ReasoningHandbook Of Automated Reasoning

Handbook Of Automated Reasoning

Andrei Voronkov, Alan Robinson, J. Robinson

Details

OL Work ID
OL37477513W

Subjects

Automatic theorem provingQualitative reasoningQa76.9.a96 h35 2001511.3Computer science

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.