Применение методов математической логики. Секция : Представление знаний и синтез программ: тезисы докладов IV Всесоюзной конференции

Bibliographic Details
Corporate Authors:	Академия наук Эстонской ССР (АН ЭССР) Институт кибернетики, Применение методов математической логики. Секция : Представление знаний и синтез программ
Other Authors:	Минц Г. Е. (редактор), Лорентс П. П.
Language:	Russian
Published:	Таллин, Изд-во ин-та кибернетики, 1986
Subjects:	Математическая логика Пролог логическое программирование семантика предикатные логики синтез представление знаний последовательности корректные программы разработка экспертные системы конференции
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279188

Similar Items