Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

書誌事項

Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

Gilles Dowek ... [et al.], (eds.)

(Lecture notes in computer science, 1074)

Springer, c1996

この図書・雑誌をさがす
注記

Includes bibliographical references

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ