1.

電子ブック
ＥＢ
1. Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers. 1st ed. 1994
edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 816
オンライン: https://doi.org/10.1007/3-540-58233-9
2.

電子ブック
ＥＢ
2. Mathematical Foundations of Programming Semantics : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings. 1st ed. 1994
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 802
オンライン: https://doi.org/10.1007/3-540-58027-1
3.

電子ブック
ＥＢ
3. KI-94: Advances in Artificial Intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings. 1st ed. 1994
edited by Bernhard Nebel, Leonie Dreschler-Fischer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 861
オンライン: https://doi.org/10.1007/3-540-58467-6
4.

電子ブック
ＥＢ
4. Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation. 1st ed. 1994
by Gerd Wagner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 764
オンライン: https://doi.org/10.1007/3-540-57604-5
5.

電子ブック
ＥＢ
5. Turing Machines with Sublogarithmic Space. 1st ed. 1994
by Andrzej Szepietowski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 843
オンライン: https://doi.org/10.1007/3-540-58355-6
6.

電子ブック
ＥＢ
6. Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers. 1st ed. 1994
edited by Egon Börger, Yuri Gurevich, Karl Meinke
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 832
オンライン: https://doi.org/10.1007/BFb0049319
7.

電子ブック
ＥＢ
7. Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings. 1st ed. 1994
edited by Donald Sannella
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 788
オンライン: https://doi.org/10.1007/3-540-57880-3
8.

電子ブック
ＥＢ
8. Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings. 1st ed. 1994
edited by Dov M. Gabbay, Hans J. Ohlbach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 827
オンライン: https://doi.org/10.1007/BFb0013976
9.

電子ブック
ＥＢ
9. Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers. 1st ed. 1994
edited by Henk Barendregt, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 806
オンライン: https://doi.org/10.1007/3-540-58085-9
10.

電子ブック
ＥＢ
10. STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings. 1st ed. 1994
edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 775
オンライン: https://doi.org/10.1007/3-540-57785-8