> Detailanzeige

Dolzmann, Andreas [Verfasser:in]

Algorithmic strategies for applicable real quantifier elimination

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Buch; Hochschulschrift
Titel: Algorithmic strategies for applicable real quantifier elimination
Beteiligte: Dolzmann, Andreas [Verfasser:in]
Erschienen: 2000
Umfang: 176 S.; graph. Darst
Sprache: Englisch
RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik,
Schlagwörter: Quantorenelimination > Scheduling > Vereinfachung > Algorithmus
Entstehung:
Hochschulschrift: Passau, Univ., Diss.
Anmerkungen:

Exemplare

(0)

Zentralbibliothek – Freihand

Signatur: SK 130 D665
Barcode: 30672229

Status: Ausleihbar