Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  New Concepts for Real Quantifier Elimination by Virtual Substitution

Košta, M. (2016). New Concepts for Real Quantifier Elimination by Virtual Substitution. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-26679.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-30A8-9 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-33FB-E
Genre: Hochschulschrift

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
http://scidok.sulb.uni-saarland.de/volltexte/2016/6716/ (Preprint)
Beschreibung:
-
OA-Status:
Grün
externe Referenz:
http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de (Verlagsvertrag)
Beschreibung:
-
OA-Status:
Keine Angabe

Urheber

einblenden:
ausblenden:
 Urheber:
Košta, Marek1, 2, Autor           
Sturm, Thomas1, Ratgeber                 
Weber, Andreas3, Gutachter
Weidenbach, Christoph1, Gutachter                 
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551              
3External Organizations, ou_persistent22              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2016-12-1320162016
 Publikationsstatus: Erschienen
 Seiten: xvi, 214 p.
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Kostaphd16
DOI: 10.22028/D291-26679
URN: urn:nbn:de:bsz:291-scidok-67162
Anderer: hdl:20.500.11880/26735
 Art des Abschluß: Doktorarbeit

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: