close
1.

図書
図書
1. Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
Ramayya Kumar, Thomas Kropf (eds.)
出版情報: Berlin : Springer, c1995  viii, 303 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 901
所蔵情報: loading…
2.

図書
図書
2. Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼