Eijck, Jan van
Eijck, J. van (Jan)
Eijck, Dingeman Johannes Norbertus van 1951-
Eijck, D.J.N. van (Dingeman Johannes Norbertus), 1951-
Eijck, Jan van 1951-
Eijck, J. van
Eijck, Dingeman Johannes Norbertus van
Jan van Eijck Ph.D. Rijksuniversiteit Groningen 1985
VIAF ID: 51779531 ( Personal )
Permalink: http://viaf.org/viaf/51779531
Preferred Forms
- 200 _ | ‡a Eijck ‡b Jan van
-
-
-
-
- 100 1 _ ‡a Eijck, Dingeman Johannes Norbertus van ‡d 1951-
-
-
- 100 1 _ ‡a Eijck, J. van ‡q (Jan)
-
- 100 1 _ ‡a Eijck, J. van ‡q (Jan)
-
-
- 100 1 _ ‡a Eijck, Jan van
-
- 100 1 _ ‡a Eijck, Jan van ‡d 1951-
- 100 1 _ ‡a Eijck, Jan van ‡d 1951-
- 100 0 _ ‡a Jan van Eijck ‡c Ph.D. Rijksuniversiteit Groningen 1985
4xx's: Alternate Name Forms (32)
5xx's: Related Names (6)
- 510 2 _ ‡a Centrum voor Wiskunde en Informatica
- 510 2 _ ‡a Centrum voor Wiskunde en Informatica ‡g Amsterdam ‡e Affiliation
- 551 _ _ ‡a Gilze-Rijen
- 510 2 _ ‡a Interactive Software Development and Renovation
- 510 2 _ ‡a Universiteit
- 510 2 _ ‡a Universiteit Utrecht ‡e Affiliation
Works
Title | Sources |
---|---|
Ambiguity and reasoning | |
Aspects of quantification in natural language | |
Axiomatising dynamic logics for anaphora | |
Basic quantifier theory | |
Centre for Language and Cognition Groningen, 1998-2003 | |
Changing preferences | |
Computational linguistics in The Netherlands : papers from the second CLIN-meeting (CWI, Amsterdam, November 29, 1991) | |
Computational semantics with functional programming | |
Denkende machines : computers, rekenen, redeneren | |
The design of high performance mechatronics : high-tech functionality by multidisciplinary system integration | |
Determiners | |
Dynamic interpretation and Hoare deduction | |
Dynamic reasoning without variables | |
The dynamics of description | |
The epistemics of encryption | |
Filosofie : een inleiding | |
Games, actions and social software : multidisciplinary aspects | |
Games and representations | |
The Haskell road to logic, maths and programming | |
Incremental dynamics | |
Inzien en bewijzen | |
JELIA '90 | |
Kongresbundel : Filosofiedag Groningen : lezingen gehouden op de vijfde Nederlandse Filosofiedag , [1 Oktober 1983] | |
Liber amicorum alberti : a tribute to albert visser | |
Logic and information flow | |
Logic Colloquium '99, c2003: | |
Logic for social software | |
Logica in actie | |
Logica voor alfa's en informatici | |
Logics in AI, c1991: | |
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990 : proceedings | |
Modal logic, transition systems and processes | |
Normal forms for characteristic functions on n-ary relations | |
On the proper treatment of context in NL | |
Presuppositions and dynamic logic | |
Programmeren in Turbo Pascal | |
Programming in PROLOG : an introduction | |
Programming with dynamic predicate logic | |
Quantification and partiality | |
Quantifiers, logic, and language | |
Reasoning about update logic | |
Representing discourse in context | |
A sound and complete calculus for update logic | |
Syllogistics= monotonicity+ symmetry+ existential import | |
Twijfelen aan de werkelijkheid : Een boek voor chaotische tijden | |
Typed logics with states |