Pages that link to "Item:Q5653579"

The following pages link to Some problems in the theories of automata and artificial intelligence (Q5653579):

Displaying 15 items.

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