D.J.N. van Eijck

发表

Powering decision machines with Dynamo

M. de Rijke, Maarten Marx, Yde Venema, 1999 .

Axiomatising dynamic logics for anaphora

D.J.N. van Eijck, D. J. Eijck, 1998 .

The Generic Book [Review of: cs Carlson (1997) Is the generic book a good buy?]

D.J.N. van Eijck, 1997 .

A tableau calculus for dynamic first order logic with applications in natural language semantics

Breanndán Ó Nualláin, D.J.N. van Eijck, J. M. Heguiabehere, 2000 .

Dynamo with constraint handling

D.J.N. van Eijck, J. M. Heguiabehere, 1999 .

Metalangauge versus object language

D.J.N. van Eijck, 1998 .

Network infrastructure support for convergent interactive media

Dick C. A. Bulterman, A. J. Jansen, D.J.N. van Eijck, 2004 .

Let's accept rejects, but only after repairs

D.J.N. van Eijck, 1997 .