Conception de Procedures de Decision par Combinaison et Saturation

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

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 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-1DBF-E 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-ACD5-F

資料種別: 学位論文

表示:

非表示:

作成者:
Tran, Duc-Khanh¹, 著者

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

非表示:

言語: eng - English

日付: 修正: 2008-03-27受理: 2007-02-16出版: 2007

出版の状態: 出版

ページ: -

出版情報: Nancy : Université Henri Poincaré

目次: -

査読: -

識別子（DOI, ISBNなど）: eDoc: 356505
その他: Local-ID: C12573CC004A8E26-179DA9B558A43843C12573CC0032ACE3-TranPhD2007

学位: 博士号 (PhD)