View in EDS

Defining answer classes using resolution refutation

Saved in:
Bibliographic Details
Title: Defining answer classes using resolution refutation
Authors: Burhans, Debra T.1, burhansd@canisius.edu, Shapiro, Stuart C.2, shapiro@cse.buffalo.edu
Source: Journal of Applied Logic; Mar2007, Vol. 5 Issue 1, p70-91, 22p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first