Pages that link to "Item:Q1245007"
From MaRDI portal
The following pages link to Automatic theorem proving in set theory (Q1245007):
Displaying 6 items.
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Towards the automation of set theory and its logic (Q1253108) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Automated theorem proving in mathematics. (Q1353941) (← links)
- Specification methods and partial construction of theory by computer (Q3327747) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
