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.

Logic for programming, artificial intelligence, and reasoningLogic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

Andrei Voronkov

Details

OL Work ID
OL16933251W

Subjects

Logic programmingCongressesArtificial intelligenceAutomatic theorem proving

Find this book

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