Back to Results
First PageMeta Content
Automated theorem proving / Model theory / Prover9 / First-order logic / Function / Unification / Functor / Resolution / Modal logic / Logic / Mathematics / Mathematical logic


Branden Fitelson & Edward N. Zalta Steps Toward a Computational Metaphysics∗
Add to Reading List

Document Date: 2007-08-22 20:20:00

Open Document

File Size: 223,76 KB

Share Result on Facebook

Company

Argonne National Laboratory / CNF / Russell / W. / /

Currency

pence / USD / /

Facility

Branden Fitelson University of California / Argonne National Laboratory / /

IndustryTerm

automated reasoning systems / higher-order systems / unification algorithm / higher-order logical systems / present applications / crucial algorithm / semantic device / higher-order theorem-proving systems / rst-order systems / research involving applications / /

MarketIndex

Russell 1900 / /

Organization

University of California / Stanford University / /

Person

Ernst Mally / Paolo Mancosu / Paul Oppenheimer / Dana Scott / Berkeley Zalta / Edward N. Zalta / Branden Fitelson / Peter Aczel / Chris Menzel / /

ProvinceOrState

California / /

Technology

unification algorithm / crucial algorithm / /

SocialTag