1.

電子ブック

EB
edited by Sergei Artemov, Anil Nerode
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11972
オンライン: https://doi.org/10.1007/978-3-030-36755-8
2.

電子ブック

EB
edited by Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
シリーズ名: Logic, Epistemology, and the Unity of Science ; 26
オンライン: https://doi.org/10.1007/978-94-007-4438-7
3.

電子ブック

EB
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 298
オンライン: https://doi.org/10.1007/978-3-642-31715-6
4.

電子ブック

EB
edited by Zhongzhi Shi, David Leake, Sunil Vadera
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 385
オンライン: https://doi.org/10.1007/978-3-642-32891-6
5.

電子ブック

EB
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 297
オンライン: https://doi.org/10.1007/978-3-642-31709-5
6.

電子ブック

EB
by Xibei Yang, Jingyu Yang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-25935-7
7.

電子ブック

EB
by Jianyang Zhou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-23845-1
8.

電子ブック

EB
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 300
オンライン: https://doi.org/10.1007/978-3-642-31724-8
9.

電子ブック

EB
edited by Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Enrico Motta, Aldo Gangemi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-24794-1
10.

電子ブック

EB
by Ekaterina Ovchinnikova
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2012
シリーズ名: Atlantis Thinking Machines ; 3
オンライン: https://doi.org/10.2991/978-94-91216-53-4
11.

電子ブック

EB
by Robert M. Losee
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-31190-1
12.

電子ブック

EB
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 299
オンライン: https://doi.org/10.1007/978-3-642-31718-7
13.

電子ブック

EB
by Brian Henderson-Sellers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: https://doi.org/10.1007/978-3-642-29825-7
14.

電子ブック

EB
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
15.

電子ブック

EB
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
16.

電子ブック

EB
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
17.

電子ブック

EB
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
18.

電子ブック

EB
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
19.

電子ブック

EB
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
20.

電子ブック

EB
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
21.

電子ブック

EB
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
22.

電子ブック

EB
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
23.

電子ブック

EB
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
24.

電子ブック

EB
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
25.

電子ブック

EB
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
26.

電子ブック

EB
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
27.

電子ブック

EB
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
28.

電子ブック

EB
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
29.

電子ブック

EB
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
30.

電子ブック

EB
by Alexander Franz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1171
オンライン: https://doi.org/10.1007/BFb0021059
31.

電子ブック

EB
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
32.

電子ブック

EB
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
33.

電子ブック

EB
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
34.

電子ブック

EB
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
35.

電子ブック

EB
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
36.

電子ブック

EB
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
37.

電子ブック

EB
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
38.

電子ブック

EB
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
39.

電子ブック

EB
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
40.

電子ブック

EB
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
41.

電子ブック

EB
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
42.

電子ブック

EB
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
43.

電子ブック

EB
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
44.

電子ブック

EB
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
45.

電子ブック

EB
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
46.

電子ブック

EB
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
47.

電子ブック

EB
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
48.

電子ブック

EB
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
49.

電子ブック

EB
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
50.

電子ブック

EB
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
51.

電子ブック

EB
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
52.

電子ブック

EB
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
53.

電子ブック

EB
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
54.

電子ブック

EB
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
55.

電子ブック

EB
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
56.

電子ブック

EB
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
57.

電子ブック

EB
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
58.

電子ブック

EB
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
59.

電子ブック

EB
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
60.

電子ブック

EB
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
61.

電子ブック

EB
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
62.

電子ブック

EB
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
63.

電子ブック

EB
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
64.

電子ブック

EB
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
65.

電子ブック

EB
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
66.

電子ブック

EB
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
67.

電子ブック

EB
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
68.

電子ブック

EB
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
69.

電子ブック

EB
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
70.

電子ブック

EB
by Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 828
オンライン: https://doi.org/10.1007/BFb0030541
71.

電子ブック

EB
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
72.

電子ブック

EB
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
73.

電子ブック

EB
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
74.

電子ブック

EB
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
75.

電子ブック

EB
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
76.

電子ブック

EB
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
77.

電子ブック

EB
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
78.

電子ブック

EB
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
79.

電子ブック

EB
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
80.

電子ブック

EB
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
81.

電子ブック

EB
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
82.

電子ブック

EB
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
83.

電子ブック

EB
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
84.

電子ブック

EB
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
85.

電子ブック

EB
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
86.

電子ブック

EB
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
87.

電子ブック

EB
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
88.

電子ブック

EB
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
89.

電子ブック

EB
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
90.

電子ブック

EB
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
91.

電子ブック

EB
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
92.

電子ブック

EB
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
93.

電子ブック

EB
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
94.

電子ブック

EB
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
95.

電子ブック

EB
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
96.

電子ブック

EB
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
97.

電子ブック

EB
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
98.

電子ブック

EB
edited by Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 624
オンライン: https://doi.org/10.1007/BFb0013043
99.

電子ブック

EB
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
100.

電子ブック

EB
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