1
0
0
(1 - 14 von 16
)
mega: Ein mathematisches Assistenzsystem - KWARC
kwarc.info
J org Siekmann, Michael Kohlhase, Erica Melis ? Universit at des Saarlandes, FB Informatik, D Saarbr ucken. Received: date / Revised version: date. › papers › SiKoMe98-Kognition
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. ...
books.google.com
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg Siekmann. Omega-MKRP – a proof development environment.
Paralleles Theorembeweisen: Leistungssteigerung, Kooperation und
books.google.de
[HKKM94] Huang, Xiaorong, Manfred Kerber, Michael Kohlhase und Erica Melis: Ü-MKRP: A Proof Development Environment. In: Bundy, Alan (Hrsg.): ...
Automated Deduction - CADE-18: 18th International Conference on...
books.google.de
... Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase⋆, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge⋆⋆, Carsten Ullrich, Claus-Peter Wirth, and Jürgen Zimmer -sb.de FR 6.2 Informatik, Universität des Saarlandes, ...
Die Beweisentwicklungsumgebung Omega-MKRP – International Center for...
iccl.inf.tu-dresden.de
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann Die Beweisentwicklungsumgebung Omega-MKRP Informatik – Forschung und Entwicklung, 11(1):20-26, 1996
Search results for "Erica Melis" – FacetedDBLP
dblp.l3s.uni-hannover.de
Erica Melis(92) Carsten Ullrich(21) Jörg H. Siekmann(14) Andreas Meier 0002(10) Georgi Goguadze(10) Paul Libbrecht(8) Michael Kohlhase(7) George Goguadze(6) Manfred ...
Michael Kohlhase - International Center for …
iccl.inf.tu-dresden.de
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann KEIM: A Toolkit for Automated Deduction In Alan Bundy, eds., Automated Deduction — CADE-12, Proceedings of the 12th International Conference on Automated DeductionSpringer Details. View full publication list
2003 — Universität Koblenz · Landau
www.uni-koblenz-landau.de
Peter Baumgartner, Paul A. Cairns, Michael Kohlhase, Erica Melis (Eds.). Knowledge Representation and Automated Reasoning for E-Learning Systems. Research Report (Abstract, Report as [PDF | postscript], BiBTeX Entry) Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann, Christoph Wernhard.
Artikel in Fachzeitschriften und Sammelbänden – …
siekmann.dfki.de
Jörg H. Siekmann, Helmut Horacek, Michael Kohlhase, Christoph Benzmüller, Lassad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Stephan Hess, Karsten Konrad, Andreas Meier, Erica Melis, and Volker Sorge: An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant.
Referierte Artikel in Tagungsbänden wissenschaftlicher ...
siekmann.dfki.de
Jörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Franke, George Goguadze, Helmut Horacek, Michael Kohlhase, Paul Libbrecht, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge, Carsten Ullrich, and Jürgen Zimmer: Adaptive course generation and presentation. In P. Brusilovski, editor, Proceedings of the Fifth International Conference on Intelligent Tutoring Systems ...
Articles in Scientific Journals and Books - Jörg Siekmann
siekmann.dfki.de
Michael Kohlhase, Erica Melis, and Jörg H. Siekmann: OMEGA: A mathematical assistant. In Maarten de Rijke, editor, Liber Amicorum J. von Bentham. › articles-in-scientific-journals-...
Combination Methods in AR: Credits
combination.cs.uiowa.edu
Nikolaj Bjørner, Peter Baumgartner, Michael Fisher, Bernhard Gramlich, Reiner Hähnle, Michael Kohlhase, Erica Melis, Silvio Ranise, Christophe Ringeissen. › ...
Proof Development with Omega
wirth.bplaced.net
... Andreas Franke, Helmut Horacek, Michaël Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuël Normann, Martin Pollet, Volker Sorge, Carsten ...
Alle Infos zum Namen "Erica Melis"
sortiert nach Relevanz / Datum