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