Combining Model Elimination and Unit-Resulting Resolution
Proc. Tableau-Workshop. 1993
Erscheinungsjahr: 1993
Publikationstyp: Diverses
Autoren
Baumgartner, P. (Autor)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft