Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Proof Development with Ω<span style="font-variant:small-caps"><small>mega</small></span>

Proof Development with Ωmega

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2392/2002
BookAutomated Deduction—CADE-18
DOI10.1007/3-540-45620-1
Copyright2002
ISBN978-3-540-43931-8
DOI10.1007/3-540-45620-1_12
Pages223-254
Subject CollectionComputer Science
SpringerLink DateTuesday, January 01, 2002
Add to marked items

Proof Development with Ωmega

Jörg Siekmann2 Contact Information, Christoph Benzmüller2, Vladimir Brezhnev2, Lassaad Cheikhrouhou2, Armin Fiedler2, Andreas Franke2, Helmut Horacek2, Michael Kohlhase2, 3, Andreas Meier2, Erica Melis2, Markus Moschner2, Immanuel Normann2, Martin Pollet2, Volker Sorge2, 4, Carsten Ullrich2, Claus-Peter Wirth2 and Jürgen Zimmer2

(2)  FR 6.2 Informatik, Universität des Saarlandes, 66041 Saarbrücken, Germany
(3)  Carnegie Mellon University, Pittsburgh, PA, USA
(4)  University of Birmingham, Birmingham, UK
Abstract
The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.

Contact Information Jörg Siekmann
Email: omega@ags.uni-sb.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.106 • Server: mpweb06
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)