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.

Resolution proof systemsResolution proof systems

Resolution proof systems1996

Zbigniew Stachniak

Details

First published
1996
OL Work ID
OL3256775W

Subjects

Artificial intelligenceAutomatic theorem provingLogic, Symbolic and mathematicalSymbolic and mathematical LogicLogic, symbolic and mathematical

Find this book

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