Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Conception de Procedures de Decision par Combinaison et Saturation

Tran, D.-K. (2007). Conception de Procedures de Decision par Combinaison et Saturation. PhD Thesis, Université Henri Poincaré, Nancy.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Tran, Duc-Khanh1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2008-03-272007-02-162007
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Nancy : Université Henri Poincaré
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 356505
Anderer: Local-ID: C12573CC004A8E26-179DA9B558A43843C12573CC0032ACE3-TranPhD2007
 Art des Abschluß: Doktorarbeit

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: