TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Deutsch | Englisch
Anzahl der Einträge: 7.

Deutsch

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

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

Englisch

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

Otten, J. (1996)
Guiding program development systems by a connection based proof strategy.
Konferenzveröffentlichung, Bibliographie

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

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

Otten, J. ; Kreitz, (1995)
A connection based proof method for intuitionistic logic.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 03:04:27 2024 CET generiert.