The following pages link to The GOEDEL program (Q1945913):
Displaying 7 items.
- Computer proofs in Gödel's class theory with equational definitions for composite and cross (Q1284711) (← links)
- Fontaine's programm (Q2024042) (← links)
- (Q3715751) (← links)
- (Q4302478) (← links)
- The Sarkisov program (Q4914026) (← links)
- (Q4983699) (← links)
- Automated Deduction – CADE-19 (Q5900721) (← links)