1.

電子ブック
ＥＢ
1. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. 1st ed. 1993
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: https://doi.org/10.1007/3-540-56883-2
2.

電子ブック
ＥＢ
2. Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings. 1st ed. 1993
edited by Maurice Bruynooghe, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 714
オンライン: https://doi.org/10.1007/3-540-57186-8
3.

電子ブック
ＥＢ
3. Live Data Structures in Logic Programs : Derivation by Means of Abstract Interpretation. 1st ed. 1993
by Anne Mulkers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 675
オンライン: https://doi.org/10.1007/3-540-56694-5