de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Bitvector Reasoning with SPASS

Rusev, R. (2008). Bitvector Reasoning with SPASS. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: http://hdl.handle.net/11858/00-001M-0000-0024-BBE7-1 Versions-Permalink: http://hdl.handle.net/11858/00-001M-0000-0024-BBE8-0
Genre: Hochschulschrift
Latex : Bitvector Reasoning with {SPASS}

Dateien

einblenden: Dateien
ausblenden: Dateien
:
MasterThesis.pdf (beliebiger Volltext), 465KB
 
Datei-Permalink:
-
Beschreibung:
-
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Rusev, Rostislav1, Autor              
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, escidoc:1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - Englisch
 Datum: 2008
 Publikationsstatus: Im Druck publiziert
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: RusevMaster2008
 Art des Abschluß: Master

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: