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

Detaylı Bibliyografya
Kurumsal yazarlar:	Академия наук Эстонской ССР (АН ЭССР) Институт кибернетики, Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач
Diğer Yazarlar:	Минц Г. Е. (340), Лорентс П. П.
Dil:	Rusça
Baskı/Yayın Bilgisi:	Таллин, Институт кибернетики АН ЭССР, 1986
Seri Bilgileri:	Логика взаимодействующих процессов. Алгоритмика трудных задач
Konular:	Математическая логика взаимодействующие процессы описание анализ логические средства логическое программирование асинхронные параллельные машины имитационное моделирование спецификация дискретные процессы шахматы алгоритмы ранговые распределения ресурсы случайность экспертные системы теория графов логические задачи сложность оценка конференции
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=279189

Diğer Bilgiler
Fiziksel Özellikler:	198 с.

Benzer Materyaller