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