Применение метoдoв математическoй лoгики [Текст] : IV всесоюз. конф.: Секция "Представление знаний и синтез прогр.": Тез. докл. / Ин-т кибернетики АН ЭССР; Под ред. Минца Г. Е., Лорентса П. П. - Таллин : АН ЭССР, 1986. - 202с. : ил. - Библиогр. в конце докл. - Указ. авт.: с. 201-202.



Основное заглавие: Применение методов математической логики

Сведения, относящ. к заглавию: IV всесоюз. конф.: Секция "Представление знаний и синтез прогр.": Тез. докл.

Ответственность: Ин-т кибернетики АН ЭССР; Под ред. Минца Г. Е., Лорентса П. П.

Физический носитель: Текст

Год публикации: 1986

Место издания: Таллин

Издательство: АН ЭССР

Объем: 202с.

Ключевые слова: Математическая логика;

ББК: 22.122

Библиография: Библиогр. в конце докл. - Указ. авт.: с. 201-202

2171808
 
Применение метoдoв математическoй лoгики [Текст] : IV всесоюз. конф.: Секция "Представление знаний и синтез прогр.": Тез. докл. / Ин-т кибернетики АН ЭССР; Под ред. Минца Г. Е., Лорентса П. П. - Таллин : АН ЭССР, 1986. - 202с. : ил. - Библиогр. в конце докл. - Указ. авт.: с. 201-202.
ББК 22.122
2171808-кх;
Находится: СОУНБ | Чтобы заказать это издание, а так же его копию, вам необходимо авторизоваться на нашем сайте.
№ Инвентарный
номер		 Сигла Статус Дата возврата
1 2171808 кх Доступна -