IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience

ID:DA06482695

別名: Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, IFIP TC10/WG10.2 International

International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, IFIP TC10/WG10.2

同姓同名の著者を検索

検索結果2件中 1-2 を表示

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.)

Springer c1995 Lecture notes in computer science 901

所蔵館50館
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

North-Holland 1992 IFIP transactions A . Computer science and technology ; 10

所蔵館8館

この著者を外部サイトでさがす

関連著者

ページトップへ