日本語
 
User Manual Privacy Policy ポリシー/免責事項 連絡先
  詳細検索ブラウズ

アイテム詳細


公開

会議論文集

Deduction

MPS-Authors
/persons/resource/persons44474

Ganzinger,  Harald
Programming Logics, MPI for Informatics, Max Planck Society;

/persons/resource/persons44730

Kapur,  Deepak
Programming Logics, MPI for Informatics, Max Planck Society;

URL
There are no locators available
フルテキスト (公開)
公開されているフルテキストはありません
付随資料 (公開)
There is no public supplementary material available
引用

Furbach, U., Ganzinger, H., Hasegawa, R., & Kapur, D. (Eds.). (2000). Deduction. Wadern, Germany: IBFI.


引用: http://hdl.handle.net/11858/00-001M-0000-000F-341F-1
要旨
要旨はありません