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

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