Some problems in the theories of automata and artificial intelligence

DOI10.1007/BF01070496MaRDI QIDQ5653579zbMATH OpenOpenAlexFDO

Authors V. M. Glushkov

Publication date 1970

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01070496

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Pattern recognition, speech recognition (68T10)

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)