|
Книга ID: 606437
Исследование задач для одного класса систем логических соотношений / И.Л. Артемьева, В.В. Суров
Тематика, ключевые слова:
Математика -- Математическая логика -- Теория моделей. Математика -- Математическая логика -- Теория алгоритмов.
Сведения об издании:
Владивосток Ин-т автоматики и процессов упр. ДВО РАН 1999 36 с. 20 см
Язык:
rus
|
|