close
1.

図書
図書
1. Analogical and inductive inference : International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 : proceedings (: gw ; : us)
K.P. Jantke (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 227 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 265
所蔵情報: loading…
2.

図書
図書
2. Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 (: gw ; : us)
edited by W. Bibel and K.P. Jantke
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  245 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 215
所蔵情報: loading…
3.

図書
図書
3. Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, proceedings (: gw ; : us)
K.P. Jantke (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  ix, 338 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 397 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Mathematical Methods of Specification and Synthesis of Software Systems '85
Bibel, W. Bibel, Klaus P. Jantke
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1986
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼