A855402-ОХФ Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Вып. 152 : Теория вычислений и языки спецификаций. - 1995. - 219 с. : ил. - Библиогр. - ISBN 5-86134-012-9 : 2000.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): семантическое программирование -- естественные языки -- Тьюринга машина -- вычислительные автоматы -- немонотонные логики -- базы данных -- Петри сети Экземпляры всего: 1 ОХФ (1) |
A496338-ОХФ Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 25. - 1991. - 149 p. - Bibliogr. - ISBN 83-233-0537-4 : 1000.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика Экземпляры всего: 1 ОХФ (1) |
A496339-ОХФ Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 26. - 1992. - 95 p. - Bibliogr. - ISBN 83-233-0630-3 : 1000.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика Экземпляры всего: 1 ОХФ (1) |
A496340-ОХФ Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 27. - 1993. - 94 p. - Bibliogr. - ISBN 83-233-0738-5 : 1000.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика Экземпляры всего: 1 ОХФ (1) |