Year: 2004
2004
[7]DIALOG: Natural Language-based Interaction with a Mathematical Assistance System (Christoph Benzmüller), OMEGA talk series, Saarbrücken, Germany, 2004. (slides)
[6]Agent-oriented Proof Planning (Christoph Benzmüller), Evaluation of the Collaborative Research Centre SFB378 Resource-adaptive Cognitive Processes, Saarbrücken, Germany, 2004.
[5]Semantics and Automation of Higher-Order Logic, (Christoph Benzmüller), Workshop on Logic, Proofs, and Programs, Nancy, France, 2004. (slides)
[4]CALCULEMUS Quo Vadis? (Christoph Benzmüller), Special Session at the IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development together with J. Siekmann, J. Calmet, and W. Windsteiger, Cork, Ireland, 2004.
[3]DIALOG: Natural Language-based Interaction with a Mathematical Assistance System (Christoph Benzmüller), Deduktionstreffen, Saarbrücken, Germany, 2004. (slides)
[2]OMEGA and DIALOG (Christoph Benzmüller), Workshop on Logic, Proofs, and Programs, Saarbrücken, Germany, 2004.
[1](Invited) OMEGA: A Mathematical Assistance System (Christoph Benzmüller), Automated Reasoning Group, Cambridge University, Cambridge, UK, 2004. (slides)
Powered by bibtexbrowser