1.

電子ブック
ＥＢ
1. Computer Algebra and Parallelism : Second International Workshop Ithaca, USA, May 9–11, 1990 Proceedings
edited by Richard E. Zippel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 584
オンライン: http://dx.doi.org/10.1007/3-540-55328-2
2.

電子ブック
ＥＢ
2. Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings
edited by Miriam Leeser, Geoffrey Brown
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 408
オンライン: http://dx.doi.org/10.1007/0-387-97226-9
3.

電子ブック
ＥＢ
3. Systems of Reductions
by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 277
オンライン: http://dx.doi.org/10.1007/3-540-18598-4