Pages that link to "Item:Q1107334"

The following pages link to Erratum to ``A case study in automated theorem proving: finding sages in combinatory logic'' (Q1107334):

Displaying 4 items.

• The kernel strategy and its use for the study of combinatory logic (Q1311399) (← links)
• Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
• The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
• The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404) (← links)