Automated theorem proving by resolution in non-classical logics.
Ann. Math. Artif. Intell. Bd. 49. H. 1-4. 2007 S. 221 - 252
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/s10472-007-9051-8
Geprüft | Bibliothek |
Ann. Math. Artif. Intell. Bd. 49. H. 1-4. 2007 S. 221 - 252
Erscheinungsjahr: 2007
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/s10472-007-9051-8
Geprüft | Bibliothek |