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
1.10.2011
Förlag
Springer
Sidor
208