Back to Results
First PageMeta Content
Model theory / Formal languages / Philosophy of language / Predicate logic / Interpretation / First-order logic / Well-formed formula / Function / Substitution / Logic / Mathematical logic / Mathematics


Fundamenta Informaticae ??? (200?) 1001–[removed]
Add to Reading List

Document Date: 2007-08-01 08:58:44

Open Document

File Size: 224,45 KB

Share Result on Facebook

City

Translating Predicate / Description Logic / Bolzano / /

Country

Italy / /

/

Facility

Stijn Heymans Digital Enterprise Research Institute / University of Innsbruck / Free University of Bozen-Bolzano / Computer Science Free University of Bozen-Bolzano / /

IndustryTerm

Web languages / Web ontology language OWL / semantic web language layering / /

Organization

Computer Science Free University of Bozen-Bolzano / University of Innsbruck / Free University of Bozen-Bolzano / European Commission / /

Person

Ua / Jos de Bruijn / Jack / John / /

ProgrammingLanguage

R / Datalog / /

Technology

DLP / /

SocialTag