Вы здесь

Real Quantifier Elimination in Practice

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1997
Стр.: 
30 p.
Библиография: 
Bibliogr.: p.21-25
Место издания: 
Номер: 
MIP-9720
Карточка: 

Б4.21.

Dolzmann A., Sturm Th., Weispfenning V..

Real Quantifier Elimination in Practice-Passau., 1997.-30 p.-(Препринт Univ.Passau №MIP-9720).
Bibliogr.: p.21-25

Таблица в старой библиотеке: 
PREP2 549