Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992
著者
書誌事項
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992
IEEE Computer Society Press, c1992
- : paper
- : case
- : microfiche
- タイトル別名
-
1992 IEEE 7th Annual Symposium on Logic in Computer Science
92CH31278
大学図書館所蔵 件 / 全18件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies and index
"IEEE Catalog Number 92CH3127-8"
内容説明・目次
内容説明
The symposium, held in Santa Cruz, Calif., June 1992, heard some 40 papers, selected on the basis of originality, quality, and relevance to computer science, in particular, theoretical and practical issues that relate to logic in a broad sense, including algebraic, categorical, and topological appro
「Nielsen BookData」 より