Вы здесь

Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2010
Стр.: 
P.139-154
Выпуск: 
31
Библиография: 
Bibliogr.: p.149-150
Серия: 
Карточка: 

Б2.2.

Shilov N., Bodin E., Shilova S..

Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler// Bulletin of the Novosibirsk Computing Center-2010.-P.139-154-(Computer Science).
Bibliogr.: p.149-150

Таблица в старой библиотеке: 
PAP31 601