Вы здесь

Mixed Real-Integer Linear Quantifier Elimination

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1999
Стр.: 
15 p.
Библиография: 
Bibliogr.: p.13-15
Место издания: 
Номер: 
MIP-9902
Карточка: 

Б4.21, Б4.11.

Weispfenning V..

Mixed Real-Integer Linear Quantifier Elimination-Passau., 1999.-15 p.-(Препринт Univ.Passau №MIP-9902).
Bibliogr.: p.13-15

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