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

Бібліографічні деталі
Співавтори: Академия наук Эстонской ССР (АН ЭССР) Институт кибернетики, Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач
Інші автори: Минц Г. Е. (редактор), Лорентс П. П.
Мова:Російська
Опубліковано: Таллин, Институт кибернетики АН ЭССР, 1986
Серія:Логика взаимодействующих процессов. Алгоритмика трудных задач
Предмети:
Формат: Книга
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279189