Pages that link to "Item:Q5210762"

The following pages link to The search efficiency of theorem proving strategies (Q5210762):

Displaying 1 item.

• On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)