Real Linear Quantifier Elimination

Reuter, Jochen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Real Linear Quantifier Elimination

Reuter, J. (2013). Real Linear Quantifier Elimination. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0015-7A29-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0015-7A30-6

Genre: Hochschulschrift

Dateien

einblenden: Dateien

ausblenden: Dateien

:

Quantifier_Elimination.pdf (beliebiger Volltext), 656KB

Datei-Permalink:
-

Name:
Quantifier_Elimination.pdf

Beschreibung:
-

OA-Status:

Sichtbarkeit:
Privat

MIME-Typ / Prüfsumme:
application/pdf

Technische Metadaten:

Copyright Datum:
-

Copyright Info:
-

Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:

ausblenden:

Urheber:
Reuter, Jochen¹, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Angenommen: 2013-01-17Erschienen: 2013

Publikationsstatus: Erschienen

Seiten: 56 p.

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: Reuter13
Anderer: Local-ID: F0C7E37C199F08D2C1257AF6004CE0B4-Reuter13

Art des Abschluß: Master

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle