Some problems in the theories of automata and artificial intelligence

DOI10.1007/BF01070496zbMath0242.68056OpenAlexW2072894397MaRDI QIDQ5653579

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

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

Related Items (15)

Evidence algorithm and inference search in first-order logics ⋮ SAD as a mathematical assistant -- how should we go from here to there? ⋮ Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces ⋮ Glushkov's evidence algorithm ⋮ Unnamed Item ⋮ Parallel inference search in logical calculus based on the algebraic programming system ⋮ Development of computer-assisted algebraic research ⋮ Evidence algorithm and sad systems: past and possible future ⋮ Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems ⋮ Main directions in the development of informatics ⋮ Theorem proving in a mathematical information environment ⋮ The evidence algorithm and problems of representation and processing of mathematical computer knowledge ⋮ Numerical theorem proving by electronic computers and its application in various branches of mathematics ⋮ On Correctness of Mathematical Texts from a Logical and Practical Point of View ⋮ Deductive tools of an algebraic programming system

This page was built for publication: Some problems in the theories of automata and artificial intelligence