First-order theorem proving: Foreword.
J. Symb. Comput. Bd. 47. H. 9. 2012 S. 1009 - 1010
Erscheinungsjahr: 2012
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.jsc.2011.12.030
Geprüft | Bibliothek |
J. Symb. Comput. Bd. 47. H. 9. 2012 S. 1009 - 1010
Erscheinungsjahr: 2012
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.jsc.2011.12.030
Geprüft | Bibliothek |