1.

電子ブック
ＥＢ
1. Constraints Meet Concurrency
by Jacopo Mauro
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2014
シリーズ名: Atlantis Studies in Computing ; 5
オンライン: http://dx.doi.org/10.2991/978-94-6239-067-6
2.

電子ブック
ＥＢ
2. Teoria degli Automi Finiti
by Aldo Luca, Flavio D’Alessandro
出版情報: Milano : Springer Milan : Imprint: Springer, 2013
シリーズ名: UNITEXT ; 68
オンライン: http://dx.doi.org/10.1007/978-88-470-5474-5
3.

電子ブック
ＥＢ
3. Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
by Fabio Mogavero
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
シリーズ名: Atlantis Studies in Computing ; 3
オンライン: http://dx.doi.org/10.2991/978-94-91216-95-4
4.

電子ブック
ＥＢ
4. Instruction Sequences for Computer Science
by Jan A. Bergstra, Cornelis A. Middelburg
出版情報: Paris : Atlantis Press, 2012
シリーズ名: Atlantis Studies in Computing ; 2
オンライン: http://dx.doi.org/10.2991/978-94-91216-65-7
5.

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

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

電子ブック
ＥＢ
7. Compiler Construction : 6th International Conference, CC'96 Linköping, Sweden, April 24–26, 1996 Proceedings
edited by Tibor Gyimóthy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1060
オンライン: http://dx.doi.org/10.1007/3-540-61053-7
8.

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

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

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

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

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

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

電子ブック
ＥＢ
14. Automated Deduction — Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
edited by M. A. McRobbie, J. K. Slaney
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104
オンライン: http://dx.doi.org/10.1007/3-540-61511-3
15.

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

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

電子ブック
ＥＢ
17. Reasoning with Logic Programming
edited by José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1111
オンライン: http://dx.doi.org/10.1007/3-540-61488-5
18.

電子ブック
ＥＢ
18. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: http://dx.doi.org/10.1007/BFb0105392
19.

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

電子ブック
ＥＢ
20. Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hélène Kirchner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: http://dx.doi.org/10.1007/3-540-61064-2
21.

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

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

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

電子ブック
ＥＢ
24. Term Indexing
edited by Peter Graf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1053
オンライン: http://dx.doi.org/10.1007/3-540-61040-5
25.

電子ブック
ＥＢ
25. Foundations of Intelligent Systems : 9th International Symposium, ISMIS '96 Zakopane, Poland, June 9–13, 1996 Proceedings
edited by Zbigniew W. Raś, Maciek Michalewicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1079
オンライン: http://dx.doi.org/10.1007/3-540-61286-6
26.

電子ブック
ＥＢ
26. Static Analysis : Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
edited by Radhia Cousot, David A. Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1145
オンライン: http://dx.doi.org/10.1007/3-540-61739-6
27.

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

電子ブック
ＥＢ
28. Automated Deduction in Equational Logic and Cubic Curves
by W. McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1095
オンライン: http://dx.doi.org/10.1007/3-540-61398-6
29.

電子ブック
ＥＢ
29. Logics in Artificial Intelligence : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings
edited by José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1126
オンライン: http://dx.doi.org/10.1007/3-540-61630-6
30.

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

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

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

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

電子ブック
ＥＢ
34. Conceptual Modeling — ER '96 : 15th International Conference on Conceptual Modeling Cottbus, Germany, October 7–10, 1996 Proceedings
edited by Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1157
オンライン: http://dx.doi.org/10.1007/BFb0019909
35.

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

電子ブック
ＥＢ
36. Algebraic and Logic Programming : 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
edited by Michael Hanus, Mario Rodríguez-Artalejo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1139
オンライン: http://dx.doi.org/10.1007/3-540-61735-3
37.

電子ブック
ＥＢ
37. Time Structures : Formal Description and Algorithmic Representation
edited by Elżbieta Hajnicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1047
オンライン: http://dx.doi.org/10.1007/3-540-60941-5
38.

電子ブック
ＥＢ
38. Grammatical Interference: Learning Syntax from Sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25–27, 1996 Proceedings
edited by Laurent Miclet, Colin Higuera
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1147
オンライン: http://dx.doi.org/10.1007/BFb0033338
39.

電子ブック
ＥＢ
39. Automatic Ambiguity Resolution in Natural Language Processing : An Empirical Approach
edited by Alexander Franz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1171
オンライン: http://dx.doi.org/10.1007/BFb0021059
40.

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

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

電子ブック
ＥＢ
42. Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
edited by Hans Kleine Büning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: http://dx.doi.org/10.1007/3-540-61377-3
43.

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

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

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

電子ブック
ＥＢ
46. Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: http://dx.doi.org/10.1007/3-540-60299-2
47.

電子ブック
ＥＢ
47. Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
edited by Peter Baumgartner, Reiner Hähnle, Joachim Possega
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 918
オンライン: http://dx.doi.org/10.1007/3-540-59338-1
48.

電子ブック
ＥＢ
48. Algorithmic Learning for Knowledge-Based Systems : GOSLER Final Report
edited by Klaus P. Jantke, Steffen Lange
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 961
オンライン: http://dx.doi.org/10.1007/3-540-60217-8
49.

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

電子ブック
ＥＢ
50. Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 902
オンライン: http://dx.doi.org/10.1007/BFb0014040
51.

電子ブック
ＥＢ
51. Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings
edited by Horst Reichel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 965
オンライン: http://dx.doi.org/10.1007/3-540-60249-6
52.

電子ブック
ＥＢ
52. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings
edited by Jiří Wiedermann, Petr Hájek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: http://dx.doi.org/10.1007/3-540-60246-1
53.

電子ブック
ＥＢ
53. Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95 Aachen, Germany, June 20–22, 1995 Proceedings
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1017
オンライン: http://dx.doi.org/10.1007/3-540-60618-1
54.

電子ブック
ＥＢ
54. Theorem Provers in Circuit Design : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings
edited by Ramayya Kumar, Thomas Kropf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 901
オンライン: http://dx.doi.org/10.1007/3-540-59047-1
55.

電子ブック
ＥＢ
55. Term Rewriting : French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
edited by Hubert Comon, Jean-Pierre Jounnaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 909
オンライン: http://dx.doi.org/10.1007/3-540-59340-3
56.

電子ブック
ＥＢ
56. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 Proceedings
edited by Ernst W. Mayr, Claude Puech
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 900
オンライン: http://dx.doi.org/10.1007/3-540-59042-0
57.

電子ブック
ＥＢ
57. Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 928
オンライン: http://dx.doi.org/10.1007/3-540-59487-6
58.

電子ブック
ＥＢ
58. Tractable Reasoning in Artificial Intelligence
by Marco Cadoli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 941
オンライン: http://dx.doi.org/10.1007/3-540-60058-2
59.

電子ブック
ＥＢ
59. Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
edited by Nachum Dershowitz, Naomi Lindenstrauss
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 968
オンライン: http://dx.doi.org/10.1007/3-540-60381-6
60.

電子ブック
ＥＢ
60. Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings
edited by Alan Mycroft
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 983
オンライン: http://dx.doi.org/10.1007/3-540-60360-3
61.

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

電子ブック
ＥＢ
62. Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3–5, 1995 Proceedings
edited by Christine Froidevaux, Jürg Kohlas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 946
オンライン: http://dx.doi.org/10.1007/3-540-60112-0
63.

電子ブック
ＥＢ
63. Computational Learning Theory : Second European Conference, EuroCOLT '95 Barcelona, Spain, March 13–15, 1995 Proceedings
edited by Paul Vitányi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 904
オンライン: http://dx.doi.org/10.1007/3-540-59119-2
64.

電子ブック
ＥＢ
64. Executable Modal and Temporal Logics : IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings
edited by Michael Fisher, Richard Owens
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 897
オンライン: http://dx.doi.org/10.1007/3-540-58976-7
65.

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

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

電子ブック
ＥＢ
67. Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 971
オンライン: http://dx.doi.org/10.1007/3-540-60275-5
68.

電子ブック
ＥＢ
68. Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
edited by V. S. Alagar, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 936
オンライン: http://dx.doi.org/10.1007/3-540-60043-4
69.

電子ブック
ＥＢ
69. Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
edited by Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 947
オンライン: http://dx.doi.org/10.1007/3-540-60117-1
70.

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

電子ブック
ＥＢ
71. Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems
edited by Madhu Sudan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1001
オンライン: http://dx.doi.org/10.1007/3-540-60615-7
72.

電子ブック
ＥＢ
72. Logic and Computational Complexity : International Workshop LCC'94 Indianapolis, IN, USA, October 13–16, 1994 Selected Papers
edited by Daniel Leivant
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 960
オンライン: http://dx.doi.org/10.1007/3-540-60178-3
73.

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

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

電子ブック
ＥＢ
75. Efficient Graph Rewriting and Its Implementation
edited by Heiko Dörr
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 922
オンライン: http://dx.doi.org/10.1007/BFb0031909
76.

電子ブック
ＥＢ
76. Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
edited by Manuel Hermenegildo, S. Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 982
オンライン: http://dx.doi.org/10.1007/BFb0026808
77.

電子ブック
ＥＢ
77. Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
edited by Leszek Pacholski, Jerzy Tiuryn
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 933
オンライン: http://dx.doi.org/10.1007/BFb0022242
78.

電子ブック
ＥＢ
78. Constraint Processing : Selected Papers
edited by Manfred Meyer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 923
オンライン: http://dx.doi.org/10.1007/3-540-59479-5
79.

電子ブック
ＥＢ
79. Advances in Intelligent Computing — IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, July 4–8, 1994 Selected Papers
edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 945
オンライン: http://dx.doi.org/10.1007/BFb0035932
80.

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

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

電子ブック
ＥＢ
82. Foundations of Knowledge Representation and Reasoning
edited by Gerhard Lakemeyer, Bernhard Nebel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 810
オンライン: http://dx.doi.org/10.1007/3-540-58107-3
83.

電子ブック
ＥＢ
83. Logics in Artificial Intelligence : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
edited by Craig MacNish, David Pearce, Luís Moniz Pereira
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 838
オンライン: http://dx.doi.org/10.1007/BFb0021960
84.

電子ブック
ＥＢ
84. Logic, Language and Computation : Festschrift in Honor of Satoru Takasu
edited by Neil D. Jones, Masami Hagiya, Masahiko Sato
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 792
オンライン: http://dx.doi.org/10.1007/BFb0032390
85.

電子ブック
ＥＢ
85. Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
edited by Frank Pfenning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 822
オンライン: http://dx.doi.org/10.1007/3-540-58216-9
86.

電子ブック
ＥＢ
86. Methodologies for Intelligent Systems : 8th International Symposium, ISMIS '94 Charlotte, North Carolina, USA, October 16–19, 1994 Proceedings
edited by Zbigniew W. Raś, Maria Zemankova
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 869
オンライン: http://dx.doi.org/10.1007/3-540-58495-1
87.

電子ブック
ＥＢ
87. Entity-Relationship Approach — ER '93 : 12th International Conference on the Entity-Relationship Approach Arlington, Texas, USA, December 15–17, 1993 Proceedings
edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 823
オンライン: http://dx.doi.org/10.1007/BFb0024351
88.

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

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

電子ブック
ＥＢ
90. Logic Program Synthesis and Transformation — Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
edited by Laurent Fribourg, Franco Turini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 883
オンライン: http://dx.doi.org/10.1007/3-540-58792-6
91.

電子ブック
ＥＢ
91. Compiler Construction : 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings
edited by Peter A. Fritzson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 786
オンライン: http://dx.doi.org/10.1007/3-540-57877-3
92.

電子ブック
ＥＢ
92. Automata, Languages and Programming : 21st International Colloquium, ICALP 94 Jerusalem, Israel, July 11–14, 1994 Proceedings
edited by Serge Abiteboul, Eli Shamir
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 820
オンライン: http://dx.doi.org/10.1007/3-540-58201-0
93.

電子ブック
ＥＢ
93. Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
edited by Jeffrey J. Joyce, Carl-Johan H. Seger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 780
オンライン: http://dx.doi.org/10.1007/3-540-57826-9
94.

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

電子ブック
ＥＢ
95. Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings
edited by Roy Dyckhoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 798
オンライン: http://dx.doi.org/10.1007/3-540-58025-5
96.

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

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

電子ブック
ＥＢ
98. Algorithmic Learning Theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning Theory, ALT '94 Reinhardsbrunn Castle, Germany October 10–15, 1994 Proceedings
edited by Setsuo Arikawa, Klaus P. Jantke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 872
オンライン: http://dx.doi.org/10.1007/3-540-58520-6
99.

電子ブック
ＥＢ
99. Algebraic and Logic Programming : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
edited by Giorgio Levi, Mario Rodríguez-Artalejo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 850
オンライン: http://dx.doi.org/10.1007/3-540-58431-5
100.

電子ブック
ＥＢ
100. Automated Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
edited by Alan Bundy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI) ; 814
オンライン: http://dx.doi.org/10.1007/3-540-58156-1