Back to Results
First PageMeta Content
Metalogic / Logical syntax / Mathematical logic / First-order logic / Interpretation / Well-formed formula / Symbol / Term algebra / Ground expression / Logic / Model theory / Formal languages


Document Date: 2004-11-11 10:41:14

Open Document

File Size: 137,78 KB

Share Result on Facebook

City

Applied Informatics Eger / /

Company

Other Rewriting Systems / /

Country

Hungary / /

Currency

pence / /

/

Facility

Institute of Informatics University / /

IndustryTerm

formal systems / deduction systems / /

Organization

Department of Programming Languages / Informatics University of Debrecen / /

Person

Magda V / /

ProgrammingLanguage

E / /

Technology

artificial intelligence / relational database / /

SocialTag