1.

電子ブック
ＥＢ
1. Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings. 1st ed. 1992
edited by Helene Kirchner, Giorgio Levi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 632
オンライン: https://doi.org/10.1007/BFb0013814
2.

電子ブック
ＥＢ
2. Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings. 1st ed. 1992
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 626
オンライン: https://doi.org/10.1007/BFb0023753
3.

電子ブック
ＥＢ
3. Specifying Message Passing and Time-Critical Systems with Temporal Logic. 1st ed. 1992
by Ron Koymans
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 651
オンライン: https://doi.org/10.1007/3-540-56283-4
4.

電子ブック
ＥＢ
4. Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings. 1st ed. 1992
edited by J.Paul Jr. Myers, Michael J. O'Donnell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 613
オンライン: https://doi.org/10.1007/BFb0021078
5.

電子ブック
ＥＢ
5. Mathematical Foundations of Programming Semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings. 1st ed. 1992
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 598
オンライン: https://doi.org/10.1007/3-540-55511-0
6.

電子ブック
ＥＢ
6. Mathematical Foundations of Computer Science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings. 1st ed. 1992
edited by Ivan M. Havel, Vaclav Koubek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 629
オンライン: https://doi.org/10.1007/3-540-55808-X
7.

電子ブック
ＥＢ
7. Theory of Computing and Systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings. 1st ed. 1992
edited by Danny Dolev, Zvi Galil, Michael Rodeh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 601
オンライン: https://doi.org/10.1007/BFb0035160
8.

電子ブック
ＥＢ
8. Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings. 1st ed. 1992
edited by Kim G. Larsen, Arne Skou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 575
オンライン: https://doi.org/10.1007/3-540-55179-4
9.

電子ブック
ＥＢ
9. Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings. 1st ed. 1992
edited by Rudrapatna Shyamasundar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 652
オンライン: https://doi.org/10.1007/3-540-56287-7
10.

電子ブック
ＥＢ
10. Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings. 1st ed. 1992
edited by Maurice Bruynooghe, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 631
オンライン: https://doi.org/10.1007/3-540-55844-6
11.

電子ブック
ＥＢ
11. ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings. 1st ed. 1992
edited by Bernd Krieg-Brückner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 582
オンライン: https://doi.org/10.1007/3-540-55253-7
12.

電子ブック
ＥＢ
12. Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings. 1st ed. 1992
edited by David Pearce, Gerd Wagner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 633
オンライン: https://doi.org/10.1007/BFb0023417
13.

電子ブック
ＥＢ
13. Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings. 1st ed. 1992
edited by David Pearce, Heinrich Wansing
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 619
オンライン: https://doi.org/10.1007/BFb0031919
14.

電子ブック
ＥＢ
14. Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings. 1st ed. 1992
edited by Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 592
オンライン: https://doi.org/10.1007/3-540-55460-2
15.

電子ブック
ＥＢ
15. Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings. 1st ed. 1992
edited by Anil Nerode, Mikhail Taitslin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 620
オンライン: https://doi.org/10.1007/BFb0023857
16.

電子ブック
ＥＢ
16. STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings. 1st ed. 1992
edited by Alain Finkel, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 577
オンライン: https://doi.org/10.1007/3-540-55210-3
17.

電子ブック
ＥＢ
17. Automata, Languages and Programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings. 1st ed. 1992
edited by Werner Kuich
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 623
オンライン: https://doi.org/10.1007/3-540-55719-9