Year: 2002
2002
[10](Invited) Tutorial Dialog with a Mathematical Assistant System (Christoph Benzmüller), Computer Science Department, The University of Birmingham, UK, 2002.
[9](Invited tutorial) From Natural Deduction to Sequent Calculus and back (Christoph Benzmüller), CALCULEMUS Autumn School 2002, Pisa, Italy, 2002.
[8]Agent Based Theorem Proving (poster) (Christoph Benzmüller), AISB, 2002. (poster)
[7]Ressource-Adaptive Proof Planning with OMEGA (Christoph Benzmüller), Meeting in camera of the Special Research Centre SFB 378, Wallerfangen, Germany, 2002. (slides)
[6]Tutorial Dialog with a Mathematical Assistant System (Christoph Benzmüller), Meeting in camera of the Special Research Centre SFB 378, Wallerfangen, Germany, 2002. (slides)
[5]Agent based proof search with Indexed Formulas (Christoph Benzmüller), CALCULEMUS 2002, Marseille, France, 2002. (slides)
[4]Tutorial Dialog with a Mathematical Assistant System (Christoph Benzmüller), Computer Science Department, The University of Birmingham, UK, 2002. (slides)
[3]Reasoning Services in the MathWeb-SB for Symbolic Verification of Hybrid Systems (Christoph Benzmüller), VERIFY'02 Workshop at FLOC 2002, Copenhagen, Denmark, 2002.
[2]Proof Development with OMEGA (Christoph Benzmüller), CADE-18, Copenhagen, Denmark, 2002. (slides)
[1]Proof Development with OMEGA: Sqrt(2) is irrational (Christoph Benzmüller), LPAR 2002, Tbilisi, Georgia,, 2002. (slides)
Powered by bibtexbrowser