The following pages link to (Q4471536):
Displaying 4 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Glushkov's evidence algorithm (Q466397) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Sequent forms of Herbrand theorem and their applications (Q2502163) (← links)
