Omega

, , , &
In Wiedijk Freek, The Seventeen Provers of the World. Springer. pp. 127-141 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9783540307044

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,792

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

OMEGA: Ressourcenadaptive Beweisplanung.Siekmann Jörg, Benzmüller Christoph & Melis Erica - 2001
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann, Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
Proof Development in OMEGA: The Irrationality of Square Root of 2.Siekmann Jörg, Benzmüller Christoph, Fiedler Armin, Meier Andreas, Normann Immanuel & Pollet Martin - 2003 - In Kamareddine Fairouz, Thirty Five Years of Automating Mathematics. Kluwer Academic Publishers. pp. 271-314.
OMEGA: Resource-adaptive Proof Planning.Siekmann Jörg, Benzmüller Christoph & Melis Erica - 2004
OMEGA: Agent-oriented Proof Planning.Siekmann Jörg, Benzmüller Christoph & Autexier Serge - 2004
Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega.Serge Autexier, Christoph Benzmüller, Dominik Dietrich & Marc Wagner - 2008 - Mathematics in Computer Science 2 (2):253-277.
Integrating TPS and OMEGA.Christoph Benzmüller, Matt Bishop & Volker Sorge - 1999 - Journal of Universal Computer Science 5 (3):188-207.
LOUI: Lovely OMEGA User Interface.Siekmann Jörg, Hess Stephan, Benzmüller Christoph, Cheikhrouhou Lassaad, Fiedler Armin, Horacek Helmut, Kohlhase Michael, Konrad Karsten, Meier Andreas, Melis Erica, Pollet Martin & Sorge Volker - 1999 - Formal Aspects of Computing 11 (3):326-342.
The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna, From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.
Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.

Analytics

Added to PP
2017-12-04

Downloads
26 (#924,781)

6 months
3 (#1,155,553)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references