The following pages link to Mathematical Knowledge Management (Q5313060):
Displayed 4 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)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)