Proceedings
著者
書誌事項
Proceedings
IEEE Computer Society Press, c1986-
- 1st (1986)-
- タイトル別名
-
Proc. - Symp. Logic Comput. Sci
Proceedings - Symposium on Logic in Computer Science
Logic in computer science
IEEE ... Symposium on Logic in Computer Science
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Vols. for 1986- sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
