Conception de Procedures de Decision par Combinaison et Saturation

Local TagsRelease HistoryDetailsSummary

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 Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1DBF-E Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACD5-F

Genre: Thesis

show

show

hide

Creators:
Tran, Duc-Khanh¹, Author

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

show

show

hide

Language(s): eng - English

Dates: Modified: 2008-03-27Accepted: 2007-02-16Date issued: 2007

Publication Status: Issued

Pages: -

Publishing info: Nancy : Université Henri Poincaré

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 356505
Other: Local-ID: C12573CC004A8E26-179DA9B558A43843C12573CC0032ACE3-TranPhD2007

Degree: PhD

show

show

show

show