Approaches to Parallel Quantifier Elimination

Вы здесь

Автор:

Количество экземпляров:

Колл. автор:

Вид:

Препринт

Год:

1998

Стр.:

27 p.

Библиография:

Bibliogr.: p.16-20

Место издания:

Номер:

MIP-9803

Карточка:

Б4.2.

Dolzmann A., Gloor O., Sturm Th..

Approaches to Parallel Quantifier Elimination-Passau., 1998.-27 p.-(Препринт Univ.Passau №MIP-9803).
Bibliogr.: p.16-20

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

PREP2 552