Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence. Bd. 49. H. 1-4. Dordrecht: Springer 2007 S. 221 - 252
Erscheinungsjahr: 2007
ISBN/ISSN: 1573-7470
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1007/s10472-007-9051-8
| Geprüft | Bibliothek |
