Электронный каталог - Electronic Catalogue

Книга
519.7 М54

Методы математической логики в проблемах искусственного интеллекта и систематическое программирование. Ч. 2 : тезисы докладов и сообщений всесоюзной конференции (Паланга, 3-5 сентября 1980 г.) / Отв. ред. Г. К. Григас . – Вильнюс : АН Литовской ССР, 1980 . – 270 с. – На рус. яз.

510.6
519.68
519.7

Общий = Математическая логика
Общий = Программирование
Общий = Кибернетика. Математические вопросы теорий управляющих систем, информации и семиотики
Коллекции = Математическая библиотека