TU Darmstadt / ULB / TUbiblio

Connection-based theorem proving in classical and non-classical logics

Kreitz, Christoph ; Otten, J. :
Connection-based theorem proving in classical and non-classical logics.
In: Journal of universal computer science, 5 pp. 88-112.
[Artikel], (1999)

Typ des Eintrags: Artikel
Erschienen: 1999
Autor(en): Kreitz, Christoph ; Otten, J.
Titel: Connection-based theorem proving in classical and non-classical logics
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Journal of universal computer science
Band: 5
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:04
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen