TU Darmstadt / ULB / TUbiblio

T-String-Unification: Unifying prefixes in non-classical proof methods

Otten, J. (1996)
T-String-Unification: Unifying prefixes in non-classical proof methods.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1996
Autor(en): Otten, J.
Art des Eintrags: Bibliographie
Titel: T-String-Unification: Unifying prefixes in non-classical proof methods
Sprache: Deutsch
Publikationsjahr: 1996
Ort: Berlin (u.a.)
Verlag: Springer
Reihe: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods <5, 1996>: Proceedings. Hrsg.: P. Miglioli (u.a.) S. 244-260
Band einer Reihe: 1071
Auflage: Berlin (u.a.): Springer, 1996
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:02
Letzte Änderung: 26 Aug 2018 21:21
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen