[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975

著者

書誌事項

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975

IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm

（Lecture notes in computer science, 37）

Springer-Verlag, 1975

  • : gw
  • : us

大学図書館所蔵 件 / 全44件

この図書・雑誌をさがす

注記

English or French

Includes bibliographies

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ