Back to Results
First PageMeta Content
Formal languages / Logical syntax / Propositional calculus / Prenex normal form / Interpretation / First-order logic / Entailment / Well-formed formula / Substitution / Logic / Metalogic / Model theory


Document Date: 2011-05-03 19:03:19

Open Document

File Size: 337,22 KB

Share Result on Facebook

Company

iff Ab / /

Country

Argentina / /

IndustryTerm

formula manipulation tools / /

Organization

Universidad de Buenos Aires / /

Person

Santiago Figueira / Daniel Gor / /

Position

player / /

Technology

dom / /

SocialTag