Some problems in the theories of automata and artificial intelligence
From MaRDI portal
Publication:5653579
Cited in
(15)- Glushkov's evidence algorithm
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge
- Evidence algorithm and inference search in first-order logics
- On Correctness of Mathematical Texts from a Logical and Practical Point of View
- Evidence algorithm and SAD systems: past and possible future
- Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems
- Numerical theorem proving by electronic computers and its application in various branches of mathematics
- Development of computer-assisted algebraic research
- scientific article; zbMATH DE number 1497750 (Why is no real title available?)
- Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces
- Parallel inference search in logical calculus based on the algebraic programming system
- Deductive tools of an algebraic programming system
- Theorem proving in a mathematical information environment
- SAD as a mathematical assistant -- how should we go from here to there?
- Main directions in the development of informatics
This page was built for publication: Some problems in the theories of automata and artificial intelligence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5653579)