The Spectrum of Model Elimination Based Theorem Proving
Proc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1994
Erscheinungsjahr: 1994
Publikationstyp: Diverses
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DFG Fachgebiet:
- ohne Zuordnung
DDC Sachgruppe:
Allgemeines, Wissenschaft
