Gå direkte til innholdet
Resolution Proof Systems
Spar

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.
Undertittel
An Algebraic Theory
Forfatter
Z. Stachniak
Opplag
Softcover reprint of the original 1st ed. 1996
ISBN
9789401072519
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
1.10.2011
Forlag
Springer
Antall sider
208