Volker Sorge und Christoph - Info zur Person

(1 - 9 von 10

)

DT : Deduktionstreffen WikiCFPwww.wikicfp.com › event.showcfp

www.wikicfp.com

Facebook · Twitter · LinkedIn · Google. Link: http://fg-dedsys.gi.de/dt Volker Sorge Christoph Weidenbach ORGANIZERS Christoph ...

Christoph Benzmüller, Andreas Meier & Volker Sorge ...philpapers.org › rec › BENBTP-2

philpapers.org

Accessing knowledge of a single knowledge source with different client applications often requires the help of mediator systems as middleware components.

Progress in Artificial Intelligence: 9th Portuguese Conference on...

books.google.de

Critical Agents Supporting Interactive Theorem Proving Christoph Benzmüller and Volker Sorge Fachbereich Informatik, Universität des Saarlandes, D

Automated Deduction - CADE-16: 16th International Conference on...

books.google.de

Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, and Volker Sorge. Agent-oriented integration of distributed mathematical services.

[ ] Resource Adaptive Agents in Interactive Theorem Proving

arxiv.org

Title:Resource Adaptive Agents in Interactive Theorem Proving. Authors:Christoph Benzmueller, Volker Sorge. (Submitted on 23 Jan 2009). Abstract: We ...

dblp: Christoph Benzmüller

dblp.uni-trier.de

List of computer science publications by Christoph Benzmüller

LΩUI: Lovely ΩMEGA User Interface | SpringerLink

link.springer.com

Authors; Authors and affiliations. Jörg Siekmann; Stephan Hess; Christoph Benzmüller; Lassaad Cheikhrouhou; Armin Fiedler; Helmut Horacek; Michael Kohlhase; Karsten Konrad; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge. Jörg Siekmann. 1. Stephan Hess. 1. Christoph Benzmüller. 1. Lassaad Cheikhrouhou.