The following pages link to Mathematical Knowledge Management (Q5313060):
Displaying 7 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Evidence algorithm and sad systems: past and possible future (Q2043962) (← links)
- Peculiarities of deductive constructions in evidence algorithm information environment (Q2737323) (← links)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)
- System Description: The Proof Transformation System CERES (Q5747781) (← links)