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
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
