1.
|
EB
|
edited by Sergei Artemov, Anil Nerode
|
2.
|
EB
|
edited by Takeshi Furuhashi, Yoshiki Uchikawa
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Artificial Intelligence ; 1152 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61988-7 |
|
3.
|
EB
|
edited by Joakim von Wright, Jim Grundy, John Harrison
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Computer Science ; 1125 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/BFb0105392 |
|
4.
|
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 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61228-9 |
|
5.
|
EB
|
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Artificial Intelligence ; 1085 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61313-7 |
|
6.
|
EB
|
by William McCune, R. Padmanabhan
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Artificial Intelligence ; 1095 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61398-6 |
|
7.
|
EB
|
edited by Michael A. McRobbie, J.K. Slaney
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 |
シリーズ名: |
Lecture Notes in Artificial Intelligence ; 1104 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61511-3 |
|
8.
|
EB
|
by Peter Graf
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Artificial Intelligence ; 1053 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-61040-5 |
|
9.
|
EB
|
edited by Stig I. Andersson
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Computer Science ; 888 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-58843-4 |
|
10.
|
EB
|
edited by V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
出版情報: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 |
シリーズ名: |
Lecture Notes in Artificial Intelligence ; 928 |
子書誌情報: |
loading… |
オンライン: |
https://doi.org/10.1007/3-540-59487-6 |
|