著者典拠情報

著者標目形：
Podelski, Andreas
属性：
Personal
から見よ参照形：
Podelski, A
注記：
Tree automata and languages, 1992: CIP t.p. (Andreas Podelski, DIGITAL, Paris Research Laboratory, Centre de recherches de Paris, Rueil-Malmaison, France)
著者典拠ID：
DA06845110


1.

図書
図書
1. Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers (: gw)
Andreas Podelski, (ed.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 910
所蔵情報: 図書館
2.

図書
図書
2. Tree automata and languages
edited by Maurice Nivat, Andreas Podelski
出版情報: Amsterdam : North-Holland, 1992
シリーズ名: Studies in computer science and artificial intelligence ; 10
所蔵情報: 図書館, 研究室