Applications of Theory Reasoning in Model Elimination
Baumgartner, P. et al. (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. 1994
Erscheinungsjahr: 1994
Publikationstyp: Diverses
Autoren
Baumgartner, P. (Autor)
Stolzenburg, F. (Autor)
Baumgartner, P. et al. (Herausgeber)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft