First-order Theorem Proving: Foreword
Journal of Symbolic Computation. Bd. 47. H. 9. Amsterdam: Elsevier 2012 S. 1009 - 1010
Erscheinungsjahr: 2012
ISBN/ISSN: 1095-855X
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.jsc.2011.12.030
| Geprüft | Bibliothek |
