close
1.

図書
図書
1. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings (: gw ; : us)
A. Pettorossi (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  xii, 351 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 649
所蔵情報: loading…
2.

図書
図書
2. Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
Alberto Pettorossi (ed.)
出版情報: Berlin : Springer, c2002  viii, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2372
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼