1.

電子ブック
ＥＢ
1. Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings. 1st ed. 1991
edited by Somenath Biswas, Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 560
オンライン: https://doi.org/10.1007/3-540-54967-6
2.

電子ブック
ＥＢ
2. Logic Programming '89 : Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989. 1st ed. 1991
edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 485
オンライン: https://doi.org/10.1007/3-540-53919-0
3.

電子ブック
ＥＢ
3. Graph Grammars and Their Application to Computer Science : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings. 1st ed. 1991
edited by Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 532
オンライン: https://doi.org/10.1007/BFb0017372
4.

電子ブック
ＥＢ
4. Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings. 1st ed. 1991
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 533
オンライン: https://doi.org/10.1007/3-540-54487-9
5.

電子ブック
ＥＢ
5. Compiler Compilers : Third International Workshop, CC `90. Schwerin, FRG, October 22-24, 1990. Proceedings. 1st ed. 1991
edited by Dieter Hammer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 477
オンライン: https://doi.org/10.1007/3-540-53669-8
6.

電子ブック
ＥＢ
6. Fundamentals of Computation Theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings. 1st ed. 1991
edited by Lothar Budach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 529
オンライン: https://doi.org/10.1007/3-540-54458-5
7.

電子ブック
ＥＢ
7. Instantiation Theory : On the Foundations of Automated Deduction. 1st ed. 1991
by James G. Williams
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 518
オンライン: https://doi.org/10.1007/BFb0031932
8.

電子ブック
ＥＢ
8. Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings. 1st ed. 1991
edited by Stephane Kaplan, Mitsuhiro Okada
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 516
オンライン: https://doi.org/10.1007/3-540-54317-1
9.

電子ブック
ＥＢ
9. Rewriting Techniques and Applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings. 1st ed. 1991
edited by Ronald V. Book
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 488
オンライン: https://doi.org/10.1007/3-540-53904-2
10.

電子ブック
ＥＢ
10. Automata, Languages and Programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings. 1st ed. 1991
edited by Javier Leach Albert, Burkhard Monien, Mario Rodriguez Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 510
オンライン: https://doi.org/10.1007/3-540-54233-7