Preface: Special Issue of Selected Extended Papers of CADE-23
Journal of Automated Reasoning. Bd. 51. H. 1. Dordrecht: Springer 2013 S. 1 - 2
Erscheinungsjahr: 2013
ISBN/ISSN: 1573-0670
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1007/s10817-013-9282-9
| Geprüft | Bibliothek |
Inhaltszusammenfassung
