Some problems in the theories of automata and artificial intelligence

DOI10.1007/BF01070496zbMATH Open0242.68056OpenAlexW2072894397MaRDI QIDQ5653579FDOQ5653579

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)

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

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)