TU Darmstadt / ULB / TUbiblio

A uniform proof procedure for classical and non-classical logics

Otten, J. (1996)
A uniform proof procedure for classical and non-classical logics.
In: KI 96: Advances in Artificial Intelligence, Auflage: Berlin (u.a.): Springer, 1996
Buchkapitel, Bibliographie

Typ des Eintrags: Buchkapitel
Erschienen: 1996
Autor(en): Otten, J.
Art des Eintrags: Bibliographie
Titel: A uniform proof procedure for classical and non-classical logics
Sprache: Englisch
Publikationsjahr: 1996
Ort: Berlin
Verlag: Springer
Buchtitel: KI 96: Advances in Artificial Intelligence
Band einer Reihe: 1137
Auflage: Berlin (u.a.): Springer, 1996
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:59
Letzte Änderung: 29 Mai 2016 21:16
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