Вы здесь
Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме I
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2005
Ключевые слова:
Стр.:
С.22-28
Библиография:
Библиогр.: c.28
Источник:
Номер:
4
Карточка:
Б4.5.
Крывый С. Л., Чеботарев А. Н..
Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме I// Кибернетика и системный анализ-2005, №4.-С.22-28
Библиогр.: c.28
Таблица в старой библиотеке:
PAP30 526