Pages that link to "Item:Q1364068"

The following pages link to Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system (Q1364068):

Displaying 3 items.

• Evidence algorithm and inference search in first-order logics (Q286802) (← links)
• Glushkov's evidence algorithm (Q466397) (← links)
• The evidence algorithm and problems of representation and processing of mathematical computer knowledge (Q1582906) (← links)