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

ID:DA06482695

Alias Name

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

Search authors sharing the same name

Search Results1-2 of 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

Available at 50 libraries
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

Available at 8 libraries

Search this author

Related Authors