Gå direkt till innehållet
Resolution Proof Systems
Spara

Resolution Proof Systems

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics.
Undertitel
An Algebraic Theory
Författare
Z. Stachniak
Upplaga
Softcover reprint of the original 1st ed. 1996
ISBN
9789401072519
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-10-01
Förlag
Springer
Sidor
208