Back to Results
First PageMeta Content
Propositional calculus / Semantics / Logical syntax / Propositional variable / First-order logic / Interpretation / Function / Atomic formula / Well-formed formula / Logic / Mathematical logic / Predicate logic


Document Date: 2013-03-27 17:14:52

Open Document

File Size: 338,67 KB

Share Result on Facebook

IndustryTerm

sum-of-products / certain proof systems / /

Organization

U.S. Securities and Exchange Commission / /

Person

L. Van Pelt / /

ProgrammingLanguage

Prolog / SQL / C / /

ProvinceOrState

Oregon / /

SocialTag