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

Bibliographische Detailangaben
Körperschaften:	Академия наук Эстонской ССР (АН ЭССР) Институт кибернетики, Применение методов математической логики. Секция : Представление знаний и синтез программ
Weitere Verfasser:	Минц Г. Е. (редактор), Лорентс П. П.
Sprache:	Russisch
Veröffentlicht:	Таллин, Изд-во ин-та кибернетики, 1986
Schlagworte:	Математическая логика Пролог логическое программирование семантика предикатные логики синтез представление знаний последовательности корректные программы разработка экспертные системы конференции
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279188

Beschreibung
Beschreibung:	202 с. ил.

Ähnliche Einträge