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

Bibliografiske detaljer
Corporate Authors:	Академия наук Эстонской ССР (АН ЭССР) Институт кибернетики, Применение методов математической логики. Секция : Представление знаний и синтез программ
Andre forfattere:	Минц Г. Е. (редактор), Лорентс П. П.
Sprog:	russisk
Udgivet:	Таллин, Изд-во ин-та кибернетики, 1986
Fag:	Математическая логика Пролог логическое программирование семантика предикатные логики синтез представление знаний последовательности корректные программы разработка экспертные системы конференции
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279188

Lignende værker