E-Hyper Tableaux with Distinct Object Identifiers
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2013 S. 42
Erscheinungsjahr: 2013
ISBN/ISSN: 1864-0850
Publikationstyp: Diverses (Forschungsbericht)
Sprache: Englisch
| Geprüft: | Bibliothek |
Inhaltszusammenfassung
Autoren
Bender, Markus (Autor)
