Вы здесь

Пример верификации в проекте 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