Sökt på: Böcker av Jan van Eijck
totalt 10 träffar
The Haskell Road to Logic, Maths and Programming
Logic Colloquium '99
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some …
Logic Colloquium '99
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some …
Liber Amicorum Alberti. A Tribute to Albert Visser
Computational Semantics with Functional Programming
Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and …
Logics in AI
The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the …
Logic Colloquium '99
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have …
Games, Actions, and Social Software
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "Games, actions and …
Computational Semantics with Functional Programming
Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and …
Games, Actions, and Social Software
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "e;Games, actions …