Вы здесь

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