Gleichheit und Constraints in der Logikprogrammierung

アイテム詳細

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

一時保存へ追加

Gleichheit und Constraints in der Logikprogrammierung

Bockmayr, A. (1996). Gleichheit und Constraints in der Logikprogrammierung. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.

Item is 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0014-AB0A-8 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-ACF6-5

資料種別: 学位論文

表示:

非表示:

作成者:
Bockmayr, Alexander¹, 著者

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

非表示:

言語: deu - German

日付: 修正: 2010-03-12受理: 1996-06-07出版: 1996

出版の状態: 出版

ページ: -

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

目次: -

査読: -

識別子（DOI, ISBNなど）: eDoc: 519519
その他: Local-ID: C1256104005ECAFC-55F5FABD09D2103CC12565B00034FDE2-bockmayr_habil_96

学位: 教授資格認証論文 (Habilitation)