Back to Results
First PageMeta Content
Mathematics / Predicate logic / Literal / Propositional calculus / Predicate variable / Unification / Resolution / Calculus / Universal quantification / Logic / Automated theorem proving / Mathematical logic


An Ordered Theory Resolution Calculus Peter Baumgartner Presenter: Xing Tan with contributions by Scott Sanner Department of Mechanical and Industrial Engineering
Add to Reading List

Document Date: 2006-04-12 01:59:47

Open Document

File Size: 298,91 KB

Share Result on Facebook

Facility

Industrial Engineering University of Toronto Date / /

IndustryTerm

blind search / /

Organization

Scott Sanner Department of Mechanical / Mechanical and Industrial Engineering University of Toronto Date / /

Person

Xing Tan / Scott Sanner / Peter Baumgartner Presenter / /

SocialTag