Constraint Model Elimination and a PTTP-Implementation
Lecture notes in computer science. Bd. 918. Berlin: Springer 1995 S. 201 - 216
Erscheinungsjahr: 1995
ISBN/ISSN: 0302-9743
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Stolzenburg, Frieder (Autor)