Proof Development with Ωmega

The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Siekmann, Jörg, Benzmüller, Christoph, Brezhnev, Vladimir, Cheikhrouhou, Lassaad, Fiedler, Armin, Franke, Andreas, Horacek, Helmut, Kohlhase, Michael, Meier, Andreas, Melis, Erica, Moschner, Markus, Normann, Immanuel, Pollet, Martin, Sorge, Volker, Ullrich, Carsten, Wirth, Claus-Peter, Zimmer, Jürgen
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Constraint Solver Exact sciences and technology Information systems. Data bases Memory organisation. Data processing Natural Deduction Problem solving, game playing Proof Assistant Proof Tree Residue Class Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/3-540-45620-1_12