Применение мет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 кх Доступна -
Х

При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера