close
1.

図書
図書
1. Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
M.A. McRobbie, J.K. Slaney, (eds.)
出版情報: Berlin ; New York : Springer, c1996  xv, 764 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1104 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings
J. von Wright, J. Grundy, J. Harrison, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 446 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1125
所蔵情報: loading…
3.

図書
図書
3. Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings
Jacques Calmet, Carla Limongelli (eds.)
出版情報: Berlin : Springer, c1996  ix, 356 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1128
所蔵情報: loading…
4.

図書
図書
4. Types for proofs and programs : International Workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
Stefano Berardi, Mario Coppo, (eds.)
出版情報: Berlin ; New York : Springer, c1996  x, 296 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1158
所蔵情報: loading…
5.

図書
図書
5. Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
Mandayam Srivas, Albert Camilleri (eds.)
出版情報: Berlin : Springer, c1996  ix, 470 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1166
所蔵情報: loading…
6.

図書
図書
6. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
Dov M. Gabbay, Hans Jürgen Ohlbach, (eds.)
出版情報: Berlin : Springer, c1996  xv, 719 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1085 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼