Chapter I.3: Variants of Clausal Tableaux
Bibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 73-102
Erscheinungsjahr: 1998
Publikationstyp: Diverses
Autoren
Baumgartner, P. (Autor)
Bibel, W. (Herausgeber)
Schmitt, P. H. (Herausgeber)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft