Blättern nach Person
Ebene hoch |
1999
Kreitz, Christoph ; Otten, J. (1999)
Connection-based theorem proving in classical and non-classical logics.
In: Journal of universal computer science, 5
Artikel, Bibliographie
1996
Otten, J. (1996)
Guiding program development systems by a connection based proof strategy.
Konferenzveröffentlichung, Bibliographie
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
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
1995
Otten, J. ; Kreitz, (1995)
A connection based proof method for intuitionistic logic.
Konferenzveröffentlichung, Bibliographie