close
1.

図書
図書
1. Inside computer understanding : five programs plus miniatures
edited by Roger C. Schank, Christopher K. Riesbeck
出版情報: Hillsdale, N.J. : Lawrence Erlbaum Associates, 1981
シリーズ名: The Artificial intelligence series
2.

図書
図書
2. Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 (: gw ; : us)
edited by H. Ganzinger and N.D. Jones
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 217
3.

図書
図書
3. RIMS Symposia on Software Science and Engineering II : proceedings of the Symposia 1983 and 1984, Kyoto, Japan (: gw ; : us)
edited by Eiichi Goto, Keijiro Araki and Taiichi Yuasa
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 220
4.

図書
図書
4. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings (: gw ; : us)
edited by Ehud Shapiro
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 225
5.

図書
図書
5. Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 (: gw ; : us)
edited by Eiiti Wada
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 221
6.

図書
図書
6. Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 (: gw ; : us)
Eiiti Wada (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 264
7.

図書
図書
7. Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings (: gw ; : us)
Thomas Ottmann, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 267
8.

図書
図書
8. The science of programming (: U.S. : hardcover - : Ger. : softcover)
David Gries
出版情報: New York : Springer-Verlag, c1981
シリーズ名: Texts and monographs in computer science
9.

図書
図書
9. Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 (: gw ; : us)
edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 244
10.

図書
図書
10. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings (: gw ; : us)
edited by Peter J.L. Wallis
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 180