close
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
所蔵情報: loading…
2.

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