1.

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

電子ブック
ＥＢ
2. Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1071
オンライン: http://dx.doi.org/10.1007/3-540-61208-4
3.

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

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

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

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

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

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

電子ブック
ＥＢ
9. Distributed Artificial Intelligence Architecture and Modelling : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings
edited by Chengqi Zhang, Dickson Lukose
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1087
オンライン: http://dx.doi.org/10.1007/3-540-61314-5
10.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
27. Isabelle : A Generic Theorem Prover
edited by Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 828
オンライン: http://dx.doi.org/10.1007/BFb0030541
28.

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

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

電子ブック
ＥＢ
30. Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827
オンライン: http://dx.doi.org/10.1007/BFb0013976
31.

電子ブック
ＥＢ
31. Logical Foundations of Computer Science : Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings
edited by Anil Nerode, Yu. V. Matiyasevich
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 813
オンライン: http://dx.doi.org/10.1007/3-540-58140-5
32.

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

電子ブック
ＥＢ
33. The Generic Development Language Deva : Presentation and Case Studies
by Matthias Weber, Martin Simons, Christine Lafontaine
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 738
オンライン: http://dx.doi.org/10.1007/3-540-57335-6
34.

電子ブック
ＥＢ
34. Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
edited by Costas Courcoubetis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 697
オンライン: http://dx.doi.org/10.1007/3-540-56922-7
35.

電子ブック
ＥＢ
35. Resolution Methods for the Decision Problem
edited by C. Fermüller, A. Leitsch, T. Tammet, N. Zamov
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 679
オンライン: http://dx.doi.org/10.1007/3-540-56732-1
36.

電子ブック
ＥＢ
36. The Logic of Information Structures
by Heinrich Wansing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 681
オンライン: http://dx.doi.org/10.1007/3-540-56734-8
37.

電子ブック
ＥＢ
37. Conditional Term Rewriting Systems : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings
edited by Michaël Rusinowitch, Jean-Luc Rémy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 656
オンライン: http://dx.doi.org/10.1007/3-540-56393-8
38.

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

電子ブック
ＥＢ
39. Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings
edited by Marc Bezem, Jan Friso Groote
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 664
オンライン: http://dx.doi.org/10.1007/BFb0037093
40.

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

電子ブック
ＥＢ
41. Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings
edited by Habib Abdulrab, Jean-Pierre Pécuchet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 677
オンライン: http://dx.doi.org/10.1007/3-540-56730-5
42.

電子ブック
ＥＢ
42. Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings
edited by Gregor Bochmann, David Karl Probst
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 663
オンライン: http://dx.doi.org/10.1007/3-540-56496-9
43.

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

電子ブック
ＥＢ
44. Fuzzy Logic in Artificial Intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93 Linz, Austria, June 28–30, 1993 Proceedings
edited by Erich P. Klement, Wolfgang Slany
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 695
オンライン: http://dx.doi.org/10.1007/3-540-56920-0
45.

電子ブック
ＥＢ
45. Automated Deduction—CADE-11 : 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings
edited by Deepak Kapur
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 607
オンライン: http://dx.doi.org/10.1007/3-540-55602-8
46.

電子ブック
ＥＢ
46. Logical Foundations of Computer Science — Tver '92 : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings
edited by Anil Nerode, Mikhail Taitslin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 620
オンライン: http://dx.doi.org/10.1007/BFb0023857
47.

電子ブック
ＥＢ
47. Hyperedge Replacement: Grammars and Languages
by Annegret Habel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 643
オンライン: http://dx.doi.org/10.1007/BFb0013875
48.

電子ブック
ＥＢ
48. Mathematical Foundations of Programming Semantics : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 598
オンライン: http://dx.doi.org/10.1007/3-540-55511-0
49.

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

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

電子ブック
ＥＢ
51. Logics in AI : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings
edited by D. Pearce, G. Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 633
オンライン: http://dx.doi.org/10.1007/BFb0023417
52.

電子ブック
ＥＢ
52. Computer Aided Verification : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings
edited by Kim G. Larsen, Arne Skou
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 575
オンライン: http://dx.doi.org/10.1007/3-540-55179-4
53.

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

電子ブック
ＥＢ
54. 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
edited by A. Voronkov
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 592
オンライン: http://dx.doi.org/10.1007/3-540-55460-2
55.

電子ブック
ＥＢ
55. Constructivity in Computer Science : Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding
edited by J. Paul Myers, Michael J. O'Donnell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 613
オンライン: http://dx.doi.org/10.1007/BFb0021078
56.

電子ブック
ＥＢ
56. Nonclassical Logics and Information Processing : International Workshop Berlin, Germany, November 9–10, 1990 Proceedings
edited by David Pearce, Heinrich Wansing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 619
オンライン: http://dx.doi.org/10.1007/BFb0031919
57.

電子ブック
ＥＢ
57. Instantiation Theory : On the Foundations of Automated Deduction
by James G. Williams
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 518
オンライン: http://dx.doi.org/10.1007/BFb0031932
58.

電子ブック
ＥＢ
58. A Resolution Principle for a Logic with Restricted Quantifiers
edited by H. -J. Bürckert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 568
オンライン: http://dx.doi.org/10.1007/3-540-55034-8
59.

電子ブック
ＥＢ
59. Attribute Grammars, Applications and Systems : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings
edited by Henk Alblas, Bořivoj Melichar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 545
オンライン: http://dx.doi.org/10.1007/3-540-54572-7
60.

電子ブック
ＥＢ
60. Logics in AI : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings
edited by J. Eijck
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 478
オンライン: http://dx.doi.org/10.1007/BFb0018429
61.

電子ブック
ＥＢ
61. Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings
edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 530
オンライン: http://dx.doi.org/10.1007/BFb0013452
62.

電子ブック
ＥＢ
62. Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
edited by Edmund M. Clarke, Robert P. Kurshan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 531
オンライン: http://dx.doi.org/10.1007/BFb0023712
63.

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

電子ブック
ＥＢ
64. Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings
edited by J. Dix, K. P. Jantke, P. H. Schmitt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 543
オンライン: http://dx.doi.org/10.1007/BFb0023313
65.

電子ブック
ＥＢ
65. Category Theory : Proceedings of the International Conference held in Como, Italy, July 22-28, 1990. 1st ed. 1991
edited by Aurelio Carboni, Maria C. Pedicchio, Giuseppe Rosolini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Mathematics ; 1488
オンライン: https://doi.org/10.1007/BFb0084207
66.

電子ブック
ＥＢ
66. Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings
edited by Karl Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 418
オンライン: http://dx.doi.org/10.1007/3-540-52337-6
67.

電子ブック
ＥＢ
67. Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings
edited by Irène Guessarian
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 469
オンライン: http://dx.doi.org/10.1007/3-540-53479-2
68.

電子ブック
ＥＢ
68. Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi
出版情報: New York, NY : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 425
オンライン: http://dx.doi.org/10.1007/BFb0043074
69.

電子ブック
ＥＢ
69. Natural Language and Logic : International Scientific Symposium Hamburg, FRG, May 9–11, 1989 Proceedings
edited by Rudi Studer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 459
オンライン: http://dx.doi.org/10.1007/3-540-53082-7
70.

電子ブック
ＥＢ
70. Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1–6, 1989 Proceedings
edited by Klaus P. Jantke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 397
オンライン: http://dx.doi.org/10.1007/3-540-51734-0
71.

電子ブック
ＥＢ
71. Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings
edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 389
オンライン: http://dx.doi.org/10.1007/BFb0018340
72.

電子ブック
ＥＢ
72. Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
edited by Albert R. Meyer, Michael A. Taitslin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 363
オンライン: http://dx.doi.org/10.1007/3-540-51237-3
73.

電子ブック
ＥＢ
73. A Connotational Theory of Program Structure
by James S. Royer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 273
オンライン: http://dx.doi.org/10.1007/3-540-18253-5
74.

電子ブック
ＥＢ
74. Graph Reduction : Proceedings of a Workshop Santa Fé, New Mexico, USA September 29–October 1, 1986
edited by Joseph H. Fasel, Robert M. Keller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 279
オンライン: http://dx.doi.org/10.1007/3-540-18420-1
75.

電子ブック
ＥＢ
75. Category Theory and Computer Science : Edinburgh, U.K., September 7–9, 1987 Proceedings
edited by David H. Pitt, Axel Poigné, David E. Rydeheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 283
オンライン: http://dx.doi.org/10.1007/3-540-18508-9
76.

電子ブック
ＥＢ
76. Systems of Reductions
by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 277
オンライン: http://dx.doi.org/10.1007/3-540-18598-4
77.

電子ブック
ＥＢ
77. Mathematical Models for the Semantics of Parallelism : Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings
edited by Marisa Venturini Zilli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 280
オンライン: http://dx.doi.org/10.1007/3-540-18419-8
78.

電子ブック
ＥＢ
78. Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
edited by E. Börger, G. Hasenjaeger, D. Rödding
出版情報: Berlin, Heidelberg : Springer-Verlag, 1984
シリーズ名: Lecture Notes in Computer Science ; 171
オンライン: http://dx.doi.org/10.1007/3-540-13331-3
79.

電子ブック
ＥＢ
79. Mathematical Foundations of Computer Science 1984 : Proceedings, 11th Symposium Praha, Czechoslovakia September 3–7, 1984
edited by M. P. Chytil, V. Koubek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1984
シリーズ名: Lecture Notes in Computer Science ; 176
オンライン: http://dx.doi.org/10.1007/BFb0030285
80.

電子ブック
ＥＢ
80. Automata, Languages and Programming : Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings. 1st ed. 1978
edited by G. Ausiello, C. Böhm
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1978
シリーズ名: Lecture Notes in Computer Science ; 62
オンライン: https://doi.org/10.1007/3-540-08860-1
81.

電子ブック
ＥＢ
81. Fundamentals of Computation Theory : Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977. 1st ed. 1977
edited by Marek Karpinski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977
シリーズ名: Lecture Notes in Computer Science ; 56
オンライン: https://doi.org/10.1007/3-540-08442-8
82.

電子ブック
ＥＢ
82. λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975
edited by C. Böhm
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 37
オンライン: http://dx.doi.org/10.1007/BFb0029515