TU Darmstadt / ULB / TUbiblio

A uniform proof procedure for classical and non-classical logics

Otten, J. :
A uniform proof procedure for classical and non-classical logics.
In: KI 96: Advances in Artificial Intelligence. Hrsg.: G. Görz (u.a.) S. 307-319. Springer, Berlin (u.a.)
[Buchkapitel], (1996)

Typ des Eintrags: Buchkapitel
Erschienen: 1996
Autor(en): Otten, J.
Titel: A uniform proof procedure for classical and non-classical logics
Sprache: Englisch
Buchtitel: KI 96: Advances in Artificial Intelligence. Hrsg.: G. Görz (u.a.) S. 307-319
Band: 1137
Ort: Berlin (u.a.)
Verlag: Springer
Edition: Berlin (u.a.): Springer, 1996
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:02
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen