Prindi | E-postile | Salvesta 
automaattõestamine
automated theorem proving
ESTER | ISE | ERB | Google
Laiemad:algoritmiteooria theory of algorithms
arvutiteadus computer science; theoretical computer science
matemaatiline loogika logical calculus; mathematical logic
Seotud:arvutialgebra computer algebra
formaalsed meetodid (inform.) formal methods (inform.)
tõestuste teooria proof theory
Valdkonnad:21 MATEMAATIKA.
36 INFORMAATIKA. INFOTEHNOLOOGIA. AUTOMAATIKA.