The following pages link to OMEGA (Q31448):
Displaying 25 items.
- Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega (Q841687) (← links)
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts (Q1601863) (← links)
- Automated proof construction in type theory using resolution (Q1868508) (← links)
- (Q2723415) (← links)
- (Q2723444) (← links)
- (Q2751546) (← links)
- (Q2751548) (← links)
- (Q2767093) (← links)
- (Q2767923) (← links)
- (Q2847390) (← links)
- (Q2848045) (← links)
- PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems (Q2867939) (← links)
- More SPASS with Isabelle (Q2914754) (← links)
- (Q4428312) (← links)
- (Q4433981) (← links)
- Automatic Learning of Proof Methods in Proof Planning (Q4465166) (← links)
- (Q4539626) (← links)
- (Q4664927) (← links)
- (Q4797443) (← links)
- (Q4808725) (← links)
- Recent developments in mega's proof search programming language (Q5176482) (← links)
- Hammering towards QED (Q5195271) (← links)
- Mathematical Knowledge Management (Q5313058) (← links)
- Automated Deduction – CADE-20 (Q5394617) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
