Variants of Clausal Tableaux
Wolfgang Bibel; Peter H. Schmitt (Hrsg). Automated Deduction-A Basis for Applications: Volume 1; Foundations - Calculi and Methods. Dordrecht: Kluwer Academic Publishers 1998 S. 73 - 102
Erscheinungsjahr: 1998
ISBN/ISSN: 0-7923-5129-0
Publikationstyp: Buchbeitrag
Sprache: Englisch
| Geprüft | Bibliothek |
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
