Вы здесь
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