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