1.

電子ブック
ＥＢ
1. Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings. 1st ed. 1996
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: https://doi.org/10.1007/3-540-61551-2
2.

電子ブック
ＥＢ
2. Building Tightly Integrated Software Development Environments: The IPSEN Approach. 1st ed. 1996
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1170
オンライン: https://doi.org/10.1007/BFb0035684
3.

電子ブック
ＥＢ
3. Logics in Artificial Intelligence : European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings. 1st ed. 1996
edited by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1126
オンライン: https://doi.org/10.1007/3-540-61630-6
4.

電子ブック
ＥＢ
4. Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings. 1st ed. 1996
edited by Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1138
オンライン: https://doi.org/10.1007/3-540-61732-9
5.

電子ブック
ＥＢ
5. Fuzzy Logic, Neural Networks, and Evolutionary Computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers. 1st ed. 1996
edited by Takeshi Furuhashi, Yoshiki Uchikawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1152
オンライン: https://doi.org/10.1007/3-540-61988-7
6.

電子ブック
ＥＢ
6. Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings. 1st ed. 1996
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1103
オンライン: https://doi.org/10.1007/3-540-61464-8
7.

電子ブック
ＥＢ
7. Over-Constrained Systems. 1st ed. 1996
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: https://doi.org/10.1007/3-540-61479-6
8.

電子ブック
ＥＢ
8. Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings. 1st ed. 1996
edited by Hanne R. Nielson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: https://doi.org/10.1007/3-540-61055-3
9.

電子ブック
ＥＢ
9. Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. 1st ed. 1996
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1050
オンライン: https://doi.org/10.1007/3-540-60983-0
10.

電子ブック
ＥＢ
10. STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings. 1st ed. 1996
edited by Claude Puech, Rüdiger Reischuk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1046
オンライン: https://doi.org/10.1007/3-540-60922-9
11.

電子ブック
ＥＢ
11. Foundations of Software Technology and Theoretical Computer Science : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings. 1st ed. 1996
edited by Vijay Chandru, V. Vinay
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1180
オンライン: https://doi.org/10.1007/3-540-62034-6
12.

電子ブック
ＥＢ
12. Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers. 1st ed. 1996
edited by Stefano Berardi, Mario Coppo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1158
オンライン: https://doi.org/10.1007/3-540-61780-9
13.

電子ブック
ＥＢ
13. Algebraic and Logic Programming : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings. 1st ed. 1996
edited by Michael Hanus, Mario Rodriguez-Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1139
オンライン: https://doi.org/10.1007/3-540-61735-3
14.

電子ブック
ＥＢ
14. Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers. 1st ed. 1996
edited by Hans Kleine Buening
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: https://doi.org/10.1007/3-540-61377-3
15.

電子ブック
ＥＢ
15. Compiler Construction : 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings. 1st ed. 1996
edited by Tibor Gyimothy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1060
オンライン: https://doi.org/10.1007/3-540-61053-7
16.

電子ブック
ＥＢ
16. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings. 1st ed. 1996
edited by Joakim von Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: https://doi.org/10.1007/BFb0105392
17.

電子ブック
ＥＢ
17. Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings. 1st ed. 1996
edited by Herbert Kuchen, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1140
オンライン: https://doi.org/10.1007/3-540-61756-6
18.

電子ブック
ＥＢ
18. Computing and Combinatorics : Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996. Proceedings. 1st ed. 1996
edited by Jin-Yi Cai, C.K. Wong
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1090
オンライン: https://doi.org/10.1007/3-540-61332-3
19.

電子ブック
ＥＢ
19. Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings. 1st ed. 1996
edited by Rajeev Alur, Thomas Henzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1102
オンライン: https://doi.org/10.1007/3-540-61474-5
20.

電子ブック
ＥＢ
20. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. 1st ed. 1996
edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1074
オンライン: https://doi.org/10.1007/3-540-61254-8
21.

電子ブック
ＥＢ
21. Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers. 1st ed. 1996
edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1073
オンライン: https://doi.org/10.1007/3-540-61228-9
22.

電子ブック
ＥＢ
22. Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings. 1st ed. 1996
edited by Martin Wirsing, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1101
オンライン: https://doi.org/10.1007/BFb0014301
23.

電子ブック
ＥＢ
23. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings. 1st ed. 1996
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: https://doi.org/10.1007/BFb0031795
24.

電子ブック
ＥＢ
24. Logics for Concurrency : Structure versus Automata. 1st ed. 1996
edited by Faron Moller, Graham Birtwistle
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1043
オンライン: https://doi.org/10.1007/3-540-60915-6
25.

電子ブック
ＥＢ
25. Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. 1st ed. 1996
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1085
オンライン: https://doi.org/10.1007/3-540-61313-7
26.

電子ブック
ＥＢ
26. Reasoning with Logic Programming. 1st ed. 1996
by Jose Julio Alferes, Luis Moniz Pereira
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1111
オンライン: https://doi.org/10.1007/3-540-61488-5
27.

電子ブック
ＥＢ
27. Automated Deduction in Equational Logic and Cubic Curves. 1st ed. 1996
by William McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1095
オンライン: https://doi.org/10.1007/3-540-61398-6
28.

電子ブック
ＥＢ
28. Automatic Ambiguity Resolution in Natural Language Processing : An Empirical Approach. 1st ed. 1996
by Alexander Franz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1171
オンライン: https://doi.org/10.1007/BFb0021059
29.

電子ブック
ＥＢ
29. Algorithmic Learning Theory : 7th International Workshop, ALT '96, Sydney, Australia, October 23 - 25, 1996. Proceedings. 1st ed. 1996
edited by Setsuo Arikawa, Arun K. Sharma
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1160
オンライン: https://doi.org/10.1007/3-540-61863-5
30.

電子ブック
ＥＢ
30. Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings. 1st ed. 1996
edited by Michael A. McRobbie, J.K. Slaney
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1104
オンライン: https://doi.org/10.1007/3-540-61511-3
31.

電子ブック
ＥＢ
31. Grammatical Inference: Learning Syntax from Sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996. Proceedings. 1st ed. 1996
edited by Laurent Miclet, Colin de la Higuera
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1147
オンライン: https://doi.org/10.1007/BFb0033338
32.

電子ブック
ＥＢ
32. Time Structures : Formal Description and Algorithmic Representation. 1st ed. 1996
by Elzbieta Hajnicz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1047
オンライン: https://doi.org/10.1007/3-540-60941-5
33.

電子ブック
ＥＢ
33. Logic in Databases : International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings. 1st ed. 1996
edited by Dino Pedreschi, Carlo Zaniolo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1154
オンライン: https://doi.org/10.1007/BFb0031733
34.

電子ブック
ＥＢ
34. Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings. 1st ed. 1996
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1181
オンライン: https://doi.org/10.1007/3-540-62064-8
35.

電子ブック
ＥＢ
35. Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings. 1st ed. 1996
edited by Maurizio Proietti
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1048
オンライン: https://doi.org/10.1007/3-540-60939-3
36.

電子ブック
ＥＢ
36. Foundations of Intelligent Systems : 9th International Symposium, ISMIS'96, Zakopane, Poland, June (9-13), 1996. Proceedings. 1st ed. 1996
edited by Zbigniew W. Ras, Maciek Michalewicz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1079
オンライン: https://doi.org/10.1007/3-540-61286-6
37.

電子ブック
ＥＢ
37. TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings. 1st ed. 1995
edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 915
オンライン: https://doi.org/10.1007/3-540-59293-8
38.

電子ブック
ＥＢ
38. Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings. 1st ed. 1995
edited by Christine Froidevaux, Juerg Kohlas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 946
オンライン: https://doi.org/10.1007/3-540-60112-0
39.

電子ブック
ＥＢ
39. Term Indexing. 1st ed. 1995
by Peter Graf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 1053
オンライン: https://doi.org/10.1007/3-540-61040-5
40.

電子ブック
ＥＢ
40. Analysis of Dynamical and Cognitive Systems : Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings. 1st ed. 1995
edited by Stig I. Andersson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 888
オンライン: https://doi.org/10.1007/3-540-58843-4
41.

電子ブック
ＥＢ
41. Foundations of Software Technology and Theoretical Computer Science : 15th Conference; Bangalore, India, December 1995. Proceedings. 1st ed. 1995
edited by P.S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1026
オンライン: https://doi.org/10.1007/3-540-60692-0
42.

電子ブック
ＥＢ
42. Computing and Combinatorics : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings. 1st ed. 1995
edited by Ding-Zhu Du, Ming Li
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 959
オンライン: https://doi.org/10.1007/BFb0030813
43.

電子ブック
ＥＢ
43. Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings. 1st ed. 1995
edited by V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 928
オンライン: https://doi.org/10.1007/3-540-59487-6
44.

電子ブック
ＥＢ
44. Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers. 1st ed. 1995
edited by Peter Dybjer, Bengt Nordström, Jan Smith
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 996
オンライン: https://doi.org/10.1007/3-540-60579-7
45.

電子ブック
ＥＢ
45. Computer Aided Verification : 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings. 1st ed. 1995
edited by Pierre Wolper
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 939
オンライン: https://doi.org/10.1007/3-540-60045-0
46.

電子ブック
ＥＢ
46. Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings. 1st ed. 1995
edited by David Pitt, David E. Rydeheard, Peter Johnstone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 953
オンライン: https://doi.org/10.1007/3-540-60164-3
47.

電子ブック
ＥＢ
47. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings. 1st ed. 1995
edited by Jiri Wiedermann, Petr Hajek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: https://doi.org/10.1007/3-540-60246-1
48.

電子ブック
ＥＢ
48. Database Theory - ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings. 1st ed. 1995
edited by Georg Gottlob, Moshe Y. Vardi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 893
オンライン: https://doi.org/10.1007/3-540-58907-4
49.

電子ブック
ＥＢ
49. Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course. 1st ed. 1995
edited by Hubert Comon, Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 909
オンライン: https://doi.org/10.1007/3-540-59340-3
50.

電子ブック
ＥＢ
50. Rewriting Techniques and Applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings. 1st ed. 1995
edited by Jieh Hsiang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 914
オンライン: https://doi.org/10.1007/3-540-59200-8