Chapter II.6: Theory Reasoning
Bibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 191-224
Erscheinungsjahr: 1998
Publikationstyp: Diverses
Autoren
Baumgartner, P. (Autor)
Petermann, U. (Autor)
Bibel, W. (Herausgeber)
Schmitt, P. H. (Herausgeber)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
