Items related to Automated Theorem-Proving in Non-Classical Logics (Research...

Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science) - Softcover

Thistlewaite, Paul B.

 
9780470210062: Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science)
Softcover
ISBN 10: 0470210060 ISBN 13: 9780470210062
Publisher: Pitman Publishing, 1988

This specific ISBN edition is currently not available.

  • PublisherPitman Publishing
  • Publication date1988
  • ISBN 10 0470210060
  • ISBN 13 9780470210062
  • BindingPaperback
  • LanguageEnglish
  • Number of pages154

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9780273087816: Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science)

Featured Edition

ISBN 10:  0273087819 ISBN 13:  9780273087816
Publisher: Hyperion Books
Softcover