Mixed real integer linear quantifier elimination
Extended version. - Passau: Univ. Passau, Fak. für Mathematik und Informatik, 1999
Monographie, Gedruckte Ressource
- 15, 5 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Mixed real integer linear quantifier elimination
|
---|---|
Verantwortlichkeitsangabe: | V. Weispfenning |
Autor/in / Beteiligte Person: | Weispfenning, Volker |
Verwandtes Werk: | |
Ausgabe: | Extended version |
Veröffentlichung: | Passau: Univ. Passau, Fak. für Mathematik und Informatik, 1999 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 15, 5 S. |
Sonstiges: |
|