Find over 25,000 psychological definitions


automated reasoning

computer-based mathematical reasoning, including geometric theorem proving, algebraic equation solving, and mathematical theorem proving. It is a subdiscipline of artificial intelligence.

Browse dictionary by letter

a b c d e f g h i j k l m n o p q r s t u v w x y z