Automatic Reasoning tool is used in_____.
a) Personal Computers
b) Microcomputers
c) LISP Machines
d) All of the above
c. LISP Machine
Explanation: ART or Automatic Reasoning tool is used in LISP machines to understand the different aspects of reasoning.