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