Year: 1998
1998
[13]LEO -- A Higher Order Theorem Prover (Christoph Benzmüller), CADE, 1998. (poster)
[12]Model Existence for Higher-Order Logic (Christoph Benzmüller), Oberseminar AG Siekmann, Saarland University, Saarbrücken, Germany, 1998.
[11]Integrating TPS with OMEGA (Christoph Benzmüller, Volker Sorge), Oberseminar AG Siekmann, Saarland University, Saarbrücken, Germany, 1998.
[10]System Demonstration: OMEGA --- A mathematical Assistant (Christoph Benzmüller), Evaluation of the SFB 378, Max-Planck Institute für Informatik (MPI), Saarbrücken, Germany, 1998.
[9]Exploiting past proof experience + Experiments in the Automatic Selection of Problem-solving Strategies (Christoph Benzmüller), SAG-WAS'98 der AG Siekmann, Schloss Dagstuhl, Germany, 1998.
[8]LEO --- A Higher-Order Theorem Prover (Christoph Benzmüller), The 15th International Conference on Automated Deduction, Lindau, Germany, 1998.
[7]System Demonstration: LEO --- A Higher-Order Theorem Prover (Christoph Benzmüller), The 15th International Conference on Automated Deduction, Lindau, Germany, 1998.
[6]Integrating TPS with OMEGA (Christoph Benzmüller), Workshop Inference Mechanisms in Knowledge-Based Systems: Theory and Applications, KI'98, Bremen, Germany, 1998.
[5]System Demonstration: Integrating TPS with OMEGA (Christoph Benzmüller), Workshop Inference Mechanisms in Knowledge-Based Systems: Theory and Applications, KI'98, Bremen, Germany, 1998.
[4]Constraint Solving in Logig Programming and Automated Theorem Proving: a comparison (Christoph Benzmüller), 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98), Sozopol, Bulgaria, 1998.
[3]System Demonstration: OMEGA --- a Mathematical Assistant (Christoph Benzmüller), 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98), Sozopol, Bulgaria, 1998.
[2]System Demonstration: OMEGA --- a Mathematical Assistant (Christoph Benzmüller), Deduktionstreffen, Munich, Germany, 1998.
[1]System Demonstration: OMEGA --- a Mathematical Assistant (Christoph Benzmüller), Informatikforum '98 (Max-Planck-Institut für Informatik, Deutsches Forschungszentrum für Künstliche Intelligenz und Fachbereich Informatik der Uni des Saarlandes) Saarbrücken, Germany, 1998.
Powered by bibtexbrowser