Вы здесь

BDDs and Automated Deduction

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Ключевые слова: 
Стр.: 
P.541-550.
Библиография: 
Bibliogr.: p.550.
Издательство: 
Том: 
869
Карточка: 

В2.11.

Goubault J., Posegga J..

BDDs and Automated Deduction: Springer// Lecture Notes in Artificial Intelligence-1994.-Vol. 869.-P.541-550.
Bibliogr.: p.550.

Таблица в старой библиотеке: 
PAP10 145