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. 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
3.

電子ブック
ＥＢ
3. 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
4.

電子ブック
ＥＢ
4. 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
5.

電子ブック
ＥＢ
5. 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
6.

電子ブック
ＥＢ
6. 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
7.

電子ブック
ＥＢ
7. 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
8.

電子ブック
ＥＢ
8. 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
9.

電子ブック
ＥＢ
9. 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
10.

電子ブック
ＥＢ
10. 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
11.

電子ブック
ＥＢ
11. 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
12.

電子ブック
ＥＢ
12. 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
13.

電子ブック
ＥＢ
13. 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
14.

電子ブック
ＥＢ
14. 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
15.

電子ブック
ＥＢ
15. 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
16.

電子ブック
ＥＢ
16. 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
17.

電子ブック
ＥＢ
17. 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
18.

電子ブック
ＥＢ
18. 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
19.

電子ブック
ＥＢ
19. 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
20.

電子ブック
ＥＢ
20. 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
21.

電子ブック
ＥＢ
21. 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
22.

電子ブック
ＥＢ
22. 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
23.

電子ブック
ＥＢ
23. 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
24.

電子ブック
ＥＢ
24. 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
25.

電子ブック
ＥＢ
25. 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
26.

電子ブック
ＥＢ
26. 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
27.

電子ブック
ＥＢ
27. 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
28.

電子ブック
ＥＢ
28. 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
29.

電子ブック
ＥＢ
29. 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
30.

電子ブック
ＥＢ
30. 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
31.

電子ブック
ＥＢ
31. 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
32.

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

電子ブック
ＥＢ
33. 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. 1st ed. 1995
edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 945
オンライン: https://doi.org/10.1007/BFb0035932
34.

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

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

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

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

電子ブック
ＥＢ
38. Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings. 1st ed. 1995
edited by Peter Baumgartner, Reiner Hähnle, Joachim Posegga
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 918
オンライン: https://doi.org/10.1007/3-540-59338-1
39.

電子ブック
ＥＢ
39. Computational Learning Theory : Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings. 1st ed. 1995
edited by Paul Vitanyi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 904
オンライン: https://doi.org/10.1007/3-540-59119-2
40.

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

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

電子ブック
ＥＢ
42. Tractable Reasoning in Aritificial Intelligence. 1st ed. 1995
by Marco Cadoli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 941
オンライン: https://doi.org/10.1007/3-540-60058-2
43.

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

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

電子ブック
ＥＢ
45. 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
46.

電子ブック
ＥＢ
46. 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
47.

電子ブック
ＥＢ
47. 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
48.

電子ブック
ＥＢ
48. 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
49.

電子ブック
ＥＢ
49. 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
50.

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

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

電子ブック
ＥＢ
52. Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings. 1st ed. 1994
edited by Manuel Hermenegildo, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 844
オンライン: https://doi.org/10.1007/3-540-58402-1
53.

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

電子ブック
ＥＢ
54. Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings. 1st ed. 1994
edited by Thomas F. Melham, Juanito Camilleri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 859
オンライン: https://doi.org/10.1007/3-540-58450-1
55.

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

電子ブック
ＥＢ
56. Advances in Database Technology - EDBT '94 : 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. Proceedings. 1st ed. 1994
edited by Matthias Jarke, Janis Bubenko, Keith Jeffery
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 779
オンライン: https://doi.org/10.1007/3-540-57818-8
57.

電子ブック
ＥＢ
57. Isabelle : A Generic Theorem Prover. 1st ed. 1994
by Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 828
オンライン: https://doi.org/10.1007/BFb0030541
58.

電子ブック
ＥＢ
58. Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings. 1st ed. 1994
edited by Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 845
オンライン: https://doi.org/10.1007/BFb0016839
59.

電子ブック
ＥＢ
59. Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings. 1st ed. 1994
edited by Giorgio Levi, Mario Rodriguez-Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 850
オンライン: https://doi.org/10.1007/3-540-58431-5
60.

電子ブック
ＥＢ
60. Logics in Artificial Intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings. 1st ed. 1994
edited by Craig MacNish, David Pearce, Luis M. Pereira
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 838
オンライン: https://doi.org/10.1007/BFb0021960
61.

電子ブック
ＥＢ
61. Knowledge Representation and Reasoning Under Uncertainty : Logic at Work. 1st ed. 1994
edited by Michael Masuch, Laszlo Polos
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 808
オンライン: https://doi.org/10.1007/3-540-58095-6
62.

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

電子ブック
ＥＢ
63. FM8501: A Verified Microprocessor. 1st ed. 1994
by Warren A. Jr. Hunt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 795
オンライン: https://doi.org/10.1007/3-540-57960-5
64.

電子ブック
ＥＢ
64. 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. 1st ed. 1994
edited by Setsuo Arikawa, Klaus P. Jantke
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 872
オンライン: https://doi.org/10.1007/3-540-58520-6
65.

電子ブック
ＥＢ
65. Foundations of Knowledge Representation and Reasoning. 1st ed. 1994
edited by Gerhard Lakemeyer, Bernhard Nebel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 810
オンライン: https://doi.org/10.1007/3-540-58107-3
66.

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

電子ブック
ＥＢ
67. Grammatical Inference and Applications : Second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994. Proceedings. 1st ed. 1994
edited by Rafael C. Carrasco, Jose Oncina
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 862
オンライン: https://doi.org/10.1007/3-540-58473-0
68.

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

電子ブック
ＥＢ
69. Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings. 1st ed. 1993
edited by Claude Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 690
オンライン: https://doi.org/10.1007/3-540-56868-9
70.

電子ブック
ＥＢ
70. Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings. 1st ed. 1993
edited by Maurice Bruynooghe, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 714
オンライン: https://doi.org/10.1007/3-540-57186-8
71.

電子ブック
ＥＢ
71. Deductive and Object-Oriented Databases : Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings. 1st ed. 1993
edited by Stefano Ceri, Katsumi Tanaka, Shalom Tsur
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 760
オンライン: https://doi.org/10.1007/3-540-57530-8
72.

電子ブック
ＥＢ
72. Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings. 1st ed. 1993
edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 713
オンライン: https://doi.org/10.1007/BFb0022546
73.

電子ブック
ＥＢ
73. Nonmonotonic and Inductive Logic : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings. 1st ed. 1993
edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Artificial Intelligence ; 659
オンライン: https://doi.org/10.1007/BFb0030385
74.

電子ブック
ＥＢ
74. Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings. 1st ed. 1993
edited by Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Artificial Intelligence ; 698
オンライン: https://doi.org/10.1007/3-540-56944-8
75.

電子ブック
ＥＢ
75. Resolution Methods for the Decision Problem. 1st ed. 1993
by C. Fermüller, A. Leitsch, Tanel Tammet, Nail Zamov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Artificial Intelligence ; 679
オンライン: https://doi.org/10.1007/3-540-56732-1
76.

電子ブック
ＥＢ
76. Word Equations and Related Topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings. 1st ed. 1993
edited by Habib Abdulrab, Jean-Pierre Pecuchet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 677
オンライン: https://doi.org/10.1007/3-540-56730-5
77.

電子ブック
ＥＢ
77. Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings. 1st ed. 1993
edited by Michael Rusinowitch, Jean-Luc Remy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 656
オンライン: https://doi.org/10.1007/3-540-56393-8
78.

電子ブック
ＥＢ
78. Word Equations and Related Topics : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings. 1st ed. 1992
edited by Klaus U. Schulz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 572
オンライン: https://doi.org/10.1007/3-540-55124-7
79.

電子ブック
ＥＢ
79. 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
80.

電子ブック
ＥＢ
80. Compiler Construction : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992. Proceedings. 1st ed. 1992
edited by Uwe Kastens, Peter Pfahler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 641
オンライン: https://doi.org/10.1007/3-540-55984-1
81.

電子ブック
ＥＢ
81. Database Theory - ICDT '92 : 4th International Conference, Berlin, Germany, October 14-16, 1992. Proceedings. 1st ed. 1992
edited by Joachim Biskup, Richard Hull
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 646
オンライン: https://doi.org/10.1007/3-540-56039-4
82.

電子ブック
ＥＢ
82. Meta-Programming in Logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings. 1st ed. 1992
edited by Alberto Pettorossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 649
オンライン: https://doi.org/10.1007/3-540-56282-6
83.

電子ブック
ＥＢ
83. 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
84.

電子ブック
ＥＢ
84. 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
85.

電子ブック
ＥＢ
85. Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings. 1st ed. 1992
edited by Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 624
オンライン: https://doi.org/10.1007/BFb0013043
86.

電子ブック
ＥＢ
86. 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
87.

電子ブック
ＥＢ
87. 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
88.

電子ブック
ＥＢ
88. Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings. 1st ed. 1992
edited by Deepak Kapur
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 607
オンライン: https://doi.org/10.1007/3-540-55602-8
89.

電子ブック
ＥＢ
89. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings. 1st ed. 1992
edited by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 636
オンライン: https://doi.org/10.1007/3-540-55930-2
90.

電子ブック
ＥＢ
90. 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
91.

電子ブック
ＥＢ
91. 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
92.

電子ブック
ＥＢ
92. 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
93.

電子ブック
ＥＢ
93. 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
94.

電子ブック
ＥＢ
94. 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
95.

電子ブック
ＥＢ
95. 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
96.

電子ブック
ＥＢ
96. Deductive and Object-Oriented Databases : Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991. Proceedings. 1st ed. 1991
edited by Claude Delobel, Michael Kifer, Yoshifumi Masunaga
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 566
オンライン: https://doi.org/10.1007/3-540-55015-1
97.

電子ブック
ＥＢ
97. A Resolution Principle for a Logic with Restricted Quantifiers. 1st ed. 1991
by Hans-Jürgen Bürckert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 568
オンライン: https://doi.org/10.1007/3-540-55034-8
98.

電子ブック
ＥＢ
98. Fundamentals of Artificial Intelligence Research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings. 1st ed. 1991
edited by Philippe Jorrand, Jozef Kelemen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 535
オンライン: https://doi.org/10.1007/3-540-54507-7
99.

電子ブック
ＥＢ
99. Text Understanding in LILOG : Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project. 1st ed. 1991
edited by Otthein Herzog, Claus-Rainer Rollinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 546
オンライン: https://doi.org/10.1007/3-540-54594-8
100.

電子ブック
ＥＢ
100. Parallelism, Learning, Evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989. Workshop on Parallel Processing: Logic, Organization, and Technology - WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989. Proceedings. 1st ed. 1991
edited by J.D. Becker, I. Eisele, F.W. Mündemann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 565
オンライン: https://doi.org/10.1007/3-540-55027-5