The following pages link to (Q4443194):
Displaying 6 items.
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- (Q4161415) (← links)
- Proof simplification and automated theorem proving (Q5204800) (← links)
- A New Approach to Hilbert's Third Problem (Q5445957) (← links)
- (Q5698868) (← links)