Simplification of Quantifier-free Formulas over Ordered Fields

Вы здесь

Автор:

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

Колл. автор:

Вид:

Препринт

Год:

1995

Стр.:

28 p.

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

Bibliogr.: p.25.

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

Номер:

MIP-9517

Карточка:

Б4.21.

Dolzmann A., Sturm Th..

Simplification of Quantifier-free Formulas over Ordered Fields-Passau., 1995.-28 p.-(Препринт Univ.Passau №MIP-9517).
Bibliogr.: p.25.

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

PREP2 278