Pages that link to "Item:Q1694445"

The following pages link to A vision for automated deduction rooted in the connection method (Q1694445):

Displaying 4 items.

• Machine learning guidance for connection tableaux (Q2031418) (← links)
• The role of entropy in guiding a connection prover (Q2142077) (← links)
• (Q4692618) (← links)
• From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)