Вы здесь
Пример верификации в проекте F@BOOL@, основанном на булевских решателях
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2010
Ключевые слова:
Стр.:
С.111-124
Библиография:
Библиогр.: c.121-122
Место издания:
Номер:
4
Том:
17
Карточка:
Б2.23.
Шилов Н. В..
Пример верификации в проекте F@BOOL@, основанном на булевских решателях-Ярославль.// Моделирование и анализ информационных систем, 2010, №4.-Vol. 17.-С.111-124
Библиогр.: c.121-122
Таблица в старой библиотеке:
ISI3 148