Author

Profile picture
Jens Otten
FG Intellektik, FB Informatik, Darmstadt University of Technology
Darmstadt, Germany
1 article by this author
Sort by:
Research Article
Connection-Based Theorem Proving in Classical and Non-Classical Logics
Christoph Kreitz, Jens Otten
10.3217/jucs-005-03-0088
 28-03-1999
 Unique: 323 | Total: 365  | Access Period:
 88-112
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK