Cover of: Automated Deduction in Nonclassical Logics | Lincoln A. Wallen

Automated Deduction in Nonclassical Logics

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

Published by The MIT Press .
Written in English.

There's no description for this book yet. Can you add one?

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
Borrow eBook

Download ebook for print-disabled Download Protected DAISY


Prefer the physical book? Check nearby libraries with:


Buy this book

Amazon $8.94 (used)
Better World Books $9.48 (used)

History

Download catalog record: RDF / JSON / OPDS
September 11, 2018 Edited by ImportBot import new book
December 15, 2009 Edited by WorkBot link works
April 30, 2008 Created by an anonymous user Inital record created, from an amazon.com record.