The following pages link to (Q5616170):
Displaying 4 items.
- Application of isograms in the search for inference (Q1102128) (← links)
- Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system (Q1364068) (← links)
- Specification methods and partial construction of theory by computer (Q3327747) (← links)
- (Q5146113) (← links)