著者典拠情報

著者標目形：
Ganzinger, Harald, 1950-
属性：
Personal
日付：
1950-
から見よ参照形：
Ganzinger, H., 1950-
注記：
Programs as data objects, c1986: CIP t.p. (H. Ganzinger) galley (Harald Ganzinger; b. 10-31-50; Fachbereich Informatik, Universität Dortmund)
著者典拠ID：
DA00272452


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