|
|
Eijck, D. Jan N.van
Dynamic reasoning without variables [Text] : монография / D. Jan N.van Eijck. - Amsterdam : [Б.и.], 1998. - 27 с. - (Report. INS : inform. systems / Centrum voor wiskunde en informatica, ISSN 1386-3681 ; INS-R 9801). - ^aБиблиогр. : с. 26-27. - Б. ц.
; Парал. загл. сер. : гол.
Перевод заглавия: 0 ^aДинамическое умозаключение без переменных.
Перевод заглавия: 0 ^aДинамическое умозаключение без переменных.
Свободных экз. нет
|
|