Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Baumgartner, Peter; Furbach, Ulrich
Model Elimination without Contrapositives and its Application to PTTPKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1993 S. 1 - 23 (Fachberichte Informatik ; 12/93)
Du, C.; Rosendahl, M.; Berling, R. et al.
Variation of Geometry and Parametric DesignTang, Zesheng (Hrsg). New Advances in Computer Aided Design & Computer Graphics. Beijing, China: International Academic Publishers 1993 S. 400-405
Baumgartner, Peter; Furbach, Ulrich; Petermann, Uwe
A unified approach to theory reasoningKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 59 (Fachberichte Informatik ; 1992,15)
Baumgartner, Peter; Furbach, Ulrich
Consolution as a framework for comparing calculiKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 26 (Fachberichte Informatik ; 1992,11)
Sofronie, Viorica
Formula-handling computer solution of Boolean equations, I. Ring equationsBulletin of the European Association for Theoretical Computer Science. Bd. 37. Antwerpen: EATCS 1989 S. 181 - 185
Sadi, Muhammad Sheikh; Mizanur, Rahman Khan; Uddin, Md. Nazim et al.
An Efficient Approach towards Mitigating Soft Errors RisksCoRR. S. 1 - 18
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning for Robot EthicsCoRR. S. 1 - 5
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesCoRR. S. 1 - 16
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Cognitive Systems and Question AnsweringCoRR. S. 1 - 7
Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and TestsCoRR. S. 1 - 16