In evidenza
Formal Semantics:Cann
Confronta i webshop (1)
Cambridge University Press
Computational Linguistics and Formal Semantics
OmniScriptum
Action Semantics: Formal Specification, Semantics of Programming Languages, Abstract Machine Notation
Wiley-Blackwell
Compositionality in Formal Semantics: Selected Papers (Explorations Semantics Book 1) (English Edition)
Proof-Theoretic Semantics: Formal Semantics, Logical Connective, Tarski, Gerhard Gentzen, Dag Prawitz
Torna su