Вход
Электронный каталог
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 sound and complete calculus for update logic / D.J.N.van Eijck,F.-J. de Vries, 1991. - 20 p. - Текст : непосредственный.
Eijck D.J.N.van Incremental dynamics / D.J.N.van Eijck, 1998. - 26 p. - Текст : непосредственный.