Siirry suoraan sisältöön
Resolution Proof Systems
Tallenna

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.
Alaotsikko
An Algebraic Theory
Kirjailija
Z. Stachniak
Painos
Softcover reprint of the original 1st ed. 1996
ISBN
9789401072519
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.10.2011
Kustantaja
Springer
Sivumäärä
208