1.

図書
図書
1. Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Harald Ganzinger (ed.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1632 . Lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書
図書
2. Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence
所蔵情報: 図書館
3.

図書
図書
3. Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
Harald Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1103
所蔵情報: 図書館
4.

図書
図書
4. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings (: gw ; : us)
H. Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 300
所蔵情報: 図書館
5.

図書
図書
5. 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
所蔵情報: 図書館