Søkt på: Bøker av Aarne Ranta
totalt 7 treff
Structural Proof Theory
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the …
Implementing Programming Languages. An Introduction to Compilers and Interpreters
Höyrymainari Shimo
Mikä on kameleonttikirja? Kuinka käy, kun Shimo joutuu vastakkain sanakirjademonin kanssa? Mitä löytyy avaruuden salaperäisestä metallikuutiosta? Kuka voittaa Hurtanheimon …
Advances in Natural Language Processing
This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full …
Type-theoretical Grammar
Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches in the foundations of mathematics and …
Grammatical Framework
Grammatical Framework is a programming language designed for writing grammars that has the capability of addressing several languages in parallel. This thorough introduction …
Advances in Natural Language Processing
This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full …