MetadatenVerfasserangaben: | Peter Baumgartner, Ulrich Furbach, Björn Pelzer |
---|
URN: | urn:nbn:de:kola-1464 |
---|
Schriftenreihe (Bandnummer): | Arbeitsberichte, FB Informatik (2007,12) |
---|
Dokumentart: | Ausgabe (Heft) zu einer Zeitschrift |
---|
Sprache: | Englisch |
---|
Datum der Fertigstellung: | 20.09.2007 |
---|
Datum der Veröffentlichung: | 20.09.2007 |
---|
Veröffentlichende Institution: | Universität Koblenz-Landau, Campus Koblenz, Universitätsbibliothek |
---|
Datum der Freischaltung: | 20.09.2007 |
---|
Freies Schlagwort / Tag: | Equality; Hyper Tableau Calculus; Theorem Proving |
---|
Seitenzahl: | 29 |
---|
Institute: | Fachbereich 4 / Institut für Informatik |
---|
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
---|
Lizenz (Deutsch): | Es gilt das deutsche Urheberrecht: § 53 UrhG |
---|