ART (Automatic Reasoning Tool) is designed to be used on:

Correct Answer: LISP machines

Discussion & Comments

No comments yet. Be the first to comment!
Join Discussion