Special issue on automated deduction: Decidability, complexity, tractability.
J. Symb. Comput. Bd. 45. H. 2. 2010 S. 151 - 152
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/j.jsc.2009.05.006
Geprüft | Bibliothek |
Autoren
Ghilardi, Silvio (Autor)
Sattler, Ulrike (Autor)
Tiwari, Ashish (Autor)