Automated Deduction: Putting Theory into Practice - The Taming of the (X)OR
Lecture notes in computer science. Bd. 1861. Berlin: Springer 2000 S. 508 - 522
Erscheinungsjahr: 2000
ISBN/ISSN: 0302-9743
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Massacci, Fabio (Autor)