Вы здесь

Метод раздельного резольвирования для проверки выполнимости формул языка

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
С.13-20.
Библиография: 
Библиогр.: c.20
Номер: 
6
Карточка: 

Б2.3.

Чеботарев А. Н..

Метод раздельного резольвирования для проверки выполнимости формул языка// Кибернетика и системный анализ-1998, №6.-С.13-20.
Библиогр.: c.20

Таблица в старой библиотеке: 
PAP19 203