Loveland, Donald W.
cs.duke.eduDuke University. Automated theorem proving, logic programming, knowledge evaluation, expert systems, test-and-treatment problem.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.