Registros relacionados: Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika
Assunto: comparative linguistics
Assunto: formal semantics
- Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika
- A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
- Sémantique formelle: Volume 1
- Bridging Formal and Conceptual Semantics
- Bridging Formal and Conceptual Semantics
- Artificial Intelligence for Multisource Geospatial Information