Электронный каталог

страница из

всего найдено записей: 19,
  отображать
10 записей 20 записей 40 записей

Eijck D.J.N.van Ambiguity and reasoning / D. J.N.van Eijck, J. Jaspars, 1996. - 26 p. - Текст : непосредственный.

Eijck D.J.N.van Dynamic reasoning without variables / D. J.N.van Eijck, 1998. - 27 p. - Текст : непосредственный.

Eijck D.J.N.van Presuppositions and information updating / D.J.N.van Eijck, 1995. - 17 p. - Текст : непосредственный.

Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный.

Eijck D.J.N.van Procedural dynamic semantics, verb-phrase ellipsis,and presupposition / D.J.N.van Eijck,N.Francez, 1993. - 14 p. - Текст : непосредственный.

Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.

Eijck D.J.N.van Quantification and partiality / D.J.N.van Eijck, 1991. - 35 p. - Текст : непосредственный.

Bouchez O. A strategy for dynamic interpretation : A fragment and an implementation / O.Bouchez,D.J.N.van Eijck,O.Istace, 1993. - 23 p. - Текст : непосредственный.

Eijck D.J.N.van Dynamic interpretation and Hoare deduction / D.J.N.van Eijck,F.J.de Vries, 1991. - 27 p. - Текст : непосредственный.

Eijck D.J.N.van Formal semantics / D.J.N.van Eijck, 1990. - 18 p. - Текст : непосредственный.

Eijck D.J.N.van Quantifiers / D.J.N.van Eijck, 1990. - 15 p. - Текст : непосредственный.

Eijck D.J.N.van Discourse representation theory / D.J.N.van Eijck, 1990. - 10 p. - Текст : непосредственный.

Eijck D.J.N.van Representing discourse in context / D.J.N.van Eijck,H.Kamp, 1996. - 61 p. - Текст : непосредственный.

Eijck D.J.N.van Typed logics with states / D.J.N.van Eijck, 1997. - 20 p. - Текст : непосредственный.

Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.

Eijck D.J.N.van sound and complete calculus for update logic / D.J.N.van Eijck,F.-J. de Vries, 1991. - 20 p. - Текст : непосредственный.

Eijck D.J.N.van Programming with dynamic predicate logic / D.J.N.van Eijck, 1998. - 40 p. - Текст : непосредственный.

Eijck D.J.N.van Incremental dynamics / D.J.N.van Eijck, 1998. - 26 p. - Текст : непосредственный.

Eijck D.J.N.van Axiomatising dynamic logics for anaphora / D.J.N.van Eijck, 1998. - 22 p. - Текст : непосредственный.