The following pages link to Glushkov's evidence algorithm (Q466397):
Displaying 4 items.
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge (Q1582906) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Recreating Glushkov's idea (Q1894527) (← links)
- Evidence algorithm and sad systems: past and possible future (Q2043962) (← links)