Computing answers with model elimination
Artificial intelligence. an international journal. Bd. 90. H. 1. Amsterdam: Elsevier 1997 S. 135 - 176
Erscheinungsjahr: 1997
ISBN/ISSN: 0004-3702
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Artificial intelligence. an international journal. Bd. 90. H. 1. Amsterdam: Elsevier 1997 S. 135 - 176
Erscheinungsjahr: 1997
ISBN/ISSN: 0004-3702
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |