A855402-ОХФ Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Вып. 152 : Теория вычислений и языки спецификаций. - 1995. - 219 с. : ил. - Библиогр. - ISBN 5-86134-012-9 : 2000.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): семантическое программирование -- естественные языки -- Тьюринга машина -- вычислительные автоматы -- немонотонные логики -- базы данных -- Петри сети Экземпляры всего: 1 ОХФ (1) |