Year: 2003
2003
[13]OMEGA (Christoph Benzmüller), Meeting in camera of the Special Research Centre SFB 378, Dagstuhl, Germany, 2003. (slides)
[12]OMEGA - Ein Assistenzsystem für die Mathematik (Christoph Benzmüller), Open day, Saarland University, Saarbrücken, Germany, 2003. (slides)
[11]The CALCULEMUS Research Training Network --- A short Overview (Christoph Benzmüller), First QPQ Workshop on Deductive Software (QPQ'03), CADE-19, Miami, Florida, USA, 2003. (slides)
[10]Tutorial Dialogs on Mathematical Proofs (Christoph Benzmüller), IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, Mexico, 2003. (slides)
[9]A New Framework for Reasoning Agents (Christoph Benzmüller), IJCAI-03 Workshop on Agents and Automated Reasoning, Acapulco, Mexico, 2003. (slides)
[8]Assertion Application in Theorem Proving and Proof Planning (poster) (Christoph Benzmüller), IJCAI-03 Poster Presentation, Acapulco, Mexico, 2003. (poster)
[7]The CALCULEMUS Research Training Network --- A short Overview (Christoph Benzmüller), CALCULEMUS Symposium 2003, Rome, Italy, 2003. (slides)
[6]Bemerkungen zur Semantik und Mechanisierung von Logik hoeherer Stufe (Christoph Benzmüller), Deduktionstreffen, Augsburg, Germany, 2003. (slides)
[5](Invited) OMEGA --- From Proof Planning towards Mathematical Knowledge Management (Christoph Benzmüller), MKM Symposium 2003, Edinburgh, Scotland, 2003. (slides)
[4]CALCULEMUS Midterm Review Report (Christoph Benzmüller), Midterm Review of the European Union Research Training Network CALCULEMUS, Saarbrücken, Germany, 2003. (slides)
[3]Saarland University Node Report (Christoph Benzmüller), Midterm Review of the European Union Research Training Network CALCULEMUS, Saarbrücken, Germany, 2003. (slides)
[2]CALCULEMUS - Systems for Integrated Deduction and Computation (Christoph Benzmüller), Mathematics on the Semantic Web, Eindhoven, The Netherlands, 2003. (slides)
[1]Proof Development with OMEGA --- Square root of 2 is Irrational (Christoph Benzmüller), Theorema-Omega'03 Workshop, Schloss Hagenberg, Austria, 2003. (slides)
Powered by bibtexbrowser