Recommendations
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge
- Evidence algorithm and SAD systems: past and possible future
- Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
- Evidential paradigm: the logical aspect
- Alphabet operators and algorithms
Cites work
- scientific article; zbMATH DE number 3127924 (Why is no real title available?)
- scientific article; zbMATH DE number 3957052 (Why is no real title available?)
- scientific article; zbMATH DE number 51663 (Why is no real title available?)
- scientific article; zbMATH DE number 516988 (Why is no real title available?)
- scientific article; zbMATH DE number 2079533 (Why is no real title available?)
- scientific article; zbMATH DE number 1405443 (Why is no real title available?)
- scientific article; zbMATH DE number 3344563 (Why is no real title available?)
- scientific article; zbMATH DE number 3407174 (Why is no real title available?)
- Algebra of behavior transformations and its applications
- Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
- Computations in APS
- Deduction-seeking procedures and transitive relations
- Handbook of automated reasoning. In 2 vols
- On Correctness of Mathematical Texts from a Logical and Practical Point of View
- Proof theory in the USSR 1925–1969
- SAD as a mathematical assistant -- how should we go from here to there?
- Some problems in the theories of automata and artificial intelligence
- Strategies of the search for derivation of statements with restricted quantifiers
- System for Automated Deduction (SAD): A Tool for Proof Verification
- THE ABSTRACT THEORY OF AUTOMATA
- Toward Mechanical Mathematics
Cited in
(4)
This page was built for publication: Glushkov's evidence algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466397)
