Evidence algorithm and SAD systems: past and possible future
From MaRDI portal
Publication:2043962
Recommendations
- Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
- scientific article; zbMATH DE number 2079533
- Mathematical Knowledge Management
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge
- Glushkov's evidence algorithm
Cites work
Cited in
(6)- Glushkov's evidence algorithm
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge
- Evidential paradigm: the logical aspect
- scientific article; zbMATH DE number 2079533 (Why is no real title available?)
- Mathematical Knowledge Management
- Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
This page was built for publication: Evidence algorithm and SAD systems: past and possible future
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2043962)