A Model Elimination Calculus with Built-in Theories
Lecture notes in computer science. Bd. 671. Berlin: Springer 1993 S. 30 - 42
Erscheinungsjahr: 1993
ISBN/ISSN: 0302-9743
Publikationstyp: Zeitschriftenaufsatz
| Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)