close
1.

図書

図書
edited by Z. Shi
出版情報: Amsterdam ; New York : North-Holland, 1992  xi, 341 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 19
所蔵情報: loading…
2.

図書

図書
edited by V. Stavridou, T.F. Melham, R.T. Boute
出版情報: Amsterdam ; New York : North-Holland, 1992  360 p.
シリーズ名: IFIP transactions ; A . Computer science and technology ; 10
所蔵情報: loading…
3.

図書

図書
organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
出版情報: Amsterdam ; New York : North-Holland, 1993  xiii, 568 p. ; 23 cm
シリーズ名: IFIP transactions ; A . Computer science and technology ; 20
所蔵情報: loading…
4.

図書

図書
International Workshop on the ACL2 Theorem Prover and Its Applications
出版情報: New York, N.Y. : Association for Computing Machinery, c2009  138 p. ; 28 cm
シリーズ名: ACM international conference proceedings series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼