IJCAR Preface
Journal of Automated Reasoning. Bd. 40. H. 2-3. Dordrecht: Springer 2008 S. IJCAR
Erscheinungsjahr: 2008
ISBN/ISSN: 1573-0670
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1007/s10817-007-9088-8
| Geprüft | Bibliothek |
Inhaltszusammenfassung
