close
1.

図書
図書
1. CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  vi, 437 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 440
所蔵情報: loading…
2.

図書
図書
2. CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 346 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 329
所蔵情報: loading…
3.

図書
図書
3. CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 399 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 385
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼