Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
Author(s)
Bibliographic Information
Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
（Lecture notes in computer science, 901）
Springer, c1995
- Other Title
-
TPCD'94 : theorem provers in circuit design
Available at / 48 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||90195008976
-
University of Tsukuba Library, Library on Library and Information Science
007.08:L-49:901951001330
-
No Libraries matched.
- Remove all filters.
Note
Final revised proceedings of the Second International Conference on Theorem Provers in Circuit Design
Includes bibliographical references
