Вы здесь
Метод раздельного резольвирования для проверки выполнимости формул языка
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Ключевые слова:
Стр.:
С.13-20.
Библиография:
Библиогр.: c.20
Источник:
Номер:
6
Карточка:
Б2.3.
Чеботарев А. Н..
Метод раздельного резольвирования для проверки выполнимости формул языка// Кибернетика и системный анализ-1998, №6.-С.13-20.
Библиогр.: c.20
Таблица в старой библиотеке:
PAP19 203