close
1.

図書
図書
1. Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
Laurent Fribourg, Franco Turini (Eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  ix, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 883
所蔵情報: loading…
2.

図書
図書
2. AI*IA 2003 : advances in artificial intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003 : proceedings
Amedeo Cappelli, Franco Turini (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 552 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2829 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼