close
1.

図書
図書
1. Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings
John Gallagher (ed.)
出版情報: Berlin ; Tokyo : Springer, c1997  vi, 324 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1207
所蔵情報: loading…
2.

図書
図書
2. Knowledge systems for business : integrating expert systems & MIS
John P. Gallagher
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1988  viii, 232 p. ; 24 cm
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation, John P. Gallagher
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Pedro. Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
出版情報: SpringerLink Books - AutoHoldings , Cham : Springer, 2023
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Logic-Based Program Synthesis and Transformation
Fioravanti, John P. Gallagher, John P. Gallagher
出版情報: SpringerLink Books - AutoHoldings , Springer International Publishing, 2018
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼