Applying Quantifier Elimination to Problems in Simulation and Optimization

Вы здесь

Автор:

Weispfenning V.

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

Колл. автор:

Univ.Passau

Вид:

Препринт

Год:

1996

Ключевые слова:

моделирование

оптимизация

Стр.:

26 p.

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

Bibliogr.: p.20-22.

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

Passau

Серия:

Lecture Notes in Computer Science

Номер:

MIP-9607

Карточка:

Б4.11.

Weispfenning V..

Applying Quantifier Elimination to Problems in Simulation and Optimization-Passau., 1996.-26 p.-(Препринт Univ.Passau №MIP-9607).-(Lecture Notes in Computer Science).
Bibliogr.: p.20-22.

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

PREP2 355