Preface: Special Issue of Selected Extended Papers of CADE-23.
J. Autom. Reasoning. Bd. 51. H. 1. 2013 S. 1 - 2
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/s10817-013-9282-9
Geprüft | Bibliothek |
J. Autom. Reasoning. Bd. 51. H. 1. 2013 S. 1 - 2
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/s10817-013-9282-9
Geprüft | Bibliothek |