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

מידע ביבליוגרפי
מחברים אחרים:	Минц Г. Е. (340), Лорентс П. П.
שפה:	רוסית
יצא לאור:	Таллин, Институт кибернетики АН ЭССР, 1986
סדרה:	Логика взаимодействующих процессов. Алгоритмика трудных задач
נושאים:	взаимодействующие процессы описание анализ логические средства логическое программирование асинхронные параллельные машины имитационное моделирование спецификация дискретные процессы шахматы алгоритмы ранговые распределения ресурсы случайность экспертные системы теория графов логические задачи сложность оценка конференции
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279189

פריטים דומים