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

Detalles Bibliográficos
Corporate Authors:	Академия наук Эстонской ССР (АН ЭССР) Институт кибернетики, Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач
Outros autores:	Минц Г. Е. (редактор), Лорентс П. П.
Idioma:	ruso
Publicado:	Таллин, Институт кибернетики АН ЭССР, 1986
Series:	Логика взаимодействующих процессов. Алгоритмика трудных задач
Subjects:	Математическая логика взаимодействующие процессы описание анализ логические средства логическое программирование асинхронные параллельные машины имитационное моделирование спецификация дискретные процессы шахматы алгоритмы ранговые распределения ресурсы случайность экспертные системы теория графов логические задачи сложность оценка конференции
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279189

Descripción
Descrición Física:	198 с.

Títulos similares