A unifying logical framework for reason maintenance

アイテム詳細

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

A unifying logical framework for reason maintenance

Fehrer, D. (1996). A unifying logical framework for reason maintenance. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0014-AB12-3 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-ACF2-D

資料種別: 学位論文

表示:

非表示:

作成者:
Fehrer, Detlef¹, 著者

所属:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

非表示:

言語: eng - English

日付: 修正: 2010-03-12受理: 1996-02-15出版: 1996

出版の状態: 出版

ページ: -

出版情報: Saarbrücken : Universität des Saarlandes

目次: -

査読: -

識別子（DOI, ISBNなど）: eDoc: 519807
その他: Local-ID: C1256104005ECAFC-293D475E4BA8883AC1256A38004B752F-FehrerDiss1995

学位: 博士号 (PhD)