1.

電子ブック
ＥＢ
1. Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings. 1st ed. 1995
edited by David Pitt, David E. Rydeheard, Peter Johnstone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 953
オンライン: https://doi.org/10.1007/3-540-60164-3
2.

電子ブック
ＥＢ
2. CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. 1st ed. 1990
edited by Andre Arnold
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 431
オンライン: https://doi.org/10.1007/3-540-52590-4