(1 - 8 von 9
)
WADT : 22nd International Workshop on Algebraic Development...
www.wikicfp.com
WADT : 22nd International Workshop on Algebraic Development Techniques
CfP: User Interfaces for Theorem Provers UITP'12 Post-Proceedings |...
www.molto-project.eu
... Serge Autexier, DFKI, Germany; Christoph Benzmueller, Articulate Software, ... INRIA, France; Josef Urban, Radboud University Nijmegen, the Netherlands ...
GCAI : The 3rd Global Conference on Artificial Intelligence...
www.wikicfp.com
The program chairs are Christoph Benzmueller, Christine Lisetti and Martin Theobald. The conference chair is Geoff Sutcliffe. SUBMISSION Submissions in all ...
LICS Newsletter 140
lics.siglog.org
... NICTA and Australian National University * WORKSHOP AND COMPETITION CHAIR Christoph Benzmueller Freie Universitaet Berlin * PUBLICITY AND WEB ...
University of Coimbra - International Joint Conference on Automated...
www.uc.pt
Universidade de Coimbra
KI-2001: Accepted Papers
www.kr.tuwien.ac.at
Christoph Benzmueller, Mateja Jamnik, Manfred Kerber, Volker Sorge. An Agent-oriented Approach to Reasoning. Alexander Bochman. Possible worlds ...
UITP 2014: User Interfaces for Theorem Provers, 17 Jul 2014, Vienna,...
resources.illc.uva.nl
... (University of Edinburgh) Serge Autexier (DFKI) Christoph Benzmueller (Freie Universitaet Berlin) - chair Yves Bertot (INRIA) Gudmund Grov ...
TPHOLs Proceedings
es.cs.uni-kl.de
Christoph Benzmueller. Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic. Achim D. Bruckner, Burkhart Wolff. Extensible Object-Oriented Data Models in ...
sortiert nach Relevanz / Datum