Pages that link to "Item:Q557410"
From MaRDI portal
The following pages link to Evidential paradigm: the logical aspect (Q557410):
Displaying 4 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)
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-<i>L</i> (Q6051424) (← links)