Special issue on automated deduction: Decidability, complexity, tractability
Journal of Symbolic Computation. Bd. 45. H. 2. Amsterdam: Elsevier 2010 S. 151 - 152
Erscheinungsjahr: 2010
ISBN/ISSN: 1095-855X
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.jsc.2009.05.006
| Geprüft | Bibliothek |
Autoren
Ghilardi, Silvio (Autor)
Sattler, Ulrike (Autor)
Tiwari, Ashish (Autor)
