日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細


公開

会議論文

A Refined Version of General E-Unification

MPS-Authors
/persons/resource/persons44009

Socher-Ambrosius,  Rolf
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

https://rdcu.be/dttYk
(出版社版)

Fulltext (restricted access)
There are currently no full texts shared for your IP range.
フルテキスト (公開)
公開されているフルテキストはありません
付随資料 (公開)
There is no public supplementary material available
引用

Socher-Ambrosius, R. (1994). A Refined Version of General E-Unification. In A., Bundy (Ed.), Automated Deduction - CADE-12 (pp. 665-677). Berlin, Germany: Springer.


引用: https://hdl.handle.net/11858/00-001M-0000-0014-AD5B-F
要旨
要旨はありません