Types for proofs and programs : International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
著者
書誌事項
Types for proofs and programs : International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
（Lecture notes in computer science, 2646）
Springer, c2003
大学図書館所蔵 件 / 全24件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
