Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic

Bromberger, M. (2012). Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Bromberger, Martin1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20122012
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Bromberger12
Anderer: Local-ID: 9B349224CA2F4709C1257AF6004C972F-Bromberger12
 Art des Abschluß: Bachelor

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: