Logical Debugging.

Nachum Dershowitz Yuh-Jeng Lee

Published in: J. Symb. Comput. (1993)

Keyphrases

artificial intelligence
logical representation
logical properties
real time
search engine
computer vision
clustering algorithm
decision trees
case study
optimal solution
learning environment
logical reasoning