The following pages link to Alexander Lyaletski (Q865651):
Displaying 10 items.
- (Q466395) (redirect page) (← links)
- Glushkov's evidence algorithm (Q466397) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- (Q2751545) (← links)
- Evidence Algorithm and System for Automated Deduction: A Retrospective View (Q3582728) (← links)
- System for Automated Deduction (SAD): A Tool for Proof Verification (Q3608785) (← links)
- (Q4471536) (← links)
- (Q4938416) (← links)
- Mathematical Knowledge Management (Q5313060) (← links)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)
