Вы здесь
A New Approach to Quantifier Elimination for Real Algebra
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1993
Стр.:
23 p.
Библиография:
Bibliogr.: p.17-18.
Место издания:
Номер:
MIP-9305
Карточка:
Б2.13, Б4.21.
Weispfenning V..
A New Approach to Quantifier Elimination for Real Algebra-Passau., 1993.-23 p.-(Препринт Univ.Passau №MIP-9305).
Bibliogr.: p.17-18.
Таблица в старой библиотеке:
PREP1 893