Back to Results
First PageMeta Content
Logic programming / Automated theorem proving / Rules of inference / Clause / Predicate logic / Propositional calculus / Resolution / Tree / SLD resolution / Mathematical logic / Logic / Mathematics


Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning J. D. Horton and Bruce Spencer University of New Brunswick, Fredericton, New Brunswick, Canada E3B 5A3 email : [removed] and bspe
Add to Reading List

Document Date: 2004-08-23 10:57:49

Open Document

File Size: 293,51 KB

Share Result on Facebook

City

Fredericton / /

Country

Canada / /

/

Facility

Bruce Spencer University of New Brunswick / /

IndustryTerm

redundant search / /

MarketIndex

set 10 / /

Organization

University of New Brunswick / /

Position

head / common head / same head / /

ProvinceOrState

New Brunswick / Maine / /

URL

http /

SocialTag