×

Proof development with \(\Omega\)MEGA. (English) Zbl 1072.68591

Voronkov, Andrei (ed.), Automated deduction - CADE-18. 18th international conference, Copenhagen, Denmark, July 27–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43931-5). Lect. Notes Comput. Sci. 2392, 144-149 (2002).
Summary: The \(\Omega\)MEGA proof development system is the core of several related and well integrated research projects of the \(\Omega\)MEGA research group.
For the entire collection see [Zbl 0993.00050].

MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)

Software:

OMEGA
PDFBibTeX XMLCite
Full Text: Link