An edition of Automated Deduction in Nonclassical Logics (1989)

Automated Deduction in Nonclassical Logics

Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Automated Deduction in Nonclassical Logics by Lincoln A. Wallen
Preview Only
Borrow Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 25, 2024 | History
Edit
An edition of Automated Deduction in Nonclassical Logics (1989)

Automated Deduction in Nonclassical Logics

Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
The MIT Press
Language
English
Pages
255

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Proof theory, Modality (Logic), Künstliche Intelligenz, Prüfprogramm, Intuitionistic mathematics, Automatisches Beweisverfahren, Modalité (Logique), Preuve, Théorie de la, Nichtklassische Logik, Mathématiques intuitionnistes, Intuitionisme (Mathématiques)

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Automated Deduction in Nonclassical Logics
Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)
December 18, 1989, The MIT Press
Hardcover in English
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
QA9.54 .W35 1990

The Physical Object

Format
Hardcover
Number of pages
255
Dimensions
9.5 x 7.5 x 1 inches
Weight
1.6 pounds

ID Numbers

Open Library
OL10237744M
Internet Archive
automateddeducti00wall
ISBN 10
0262231441
ISBN 13
9780262231442
LCCN
89014539
OCLC/WorldCat
20351829

Source records

Internet Archive item record
Internet Archive item record
Library of Congress MARC record
amazon.com record
Promise Item
Internet Archive item record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 25, 2024 Edited by MARC Bot import existing book
September 11, 2018 Edited by ImportBot import new book
December 10, 2009 Created by WorkBot add works page