Вы здесь

Local Quantifier Elimination

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
2000
Стр.: 
21 p.
Библиография: 
Bibliogr.: p.19-21
Место издания: 
Номер: 
MIP-0003
Том: 
1882
Карточка: 

Б4.21.

Dolzmann A., Weispfenning V..

Local Quantifier Elimination-Passau., 2000.-Vol. 1882.-21 p.-(Препринт Univ.Passau №MIP-0003).
Bibliogr.: p.19-21

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