Search Results       Your search for [subject]Digital integrated circuits -- Design and construction -- Data processing -- Congresses returned 1 record.           Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings _ International Conference on Theorem Provers in Circuit Design (2nd : 1994 : Bad Herrenalb, Germany). Berlin: Springer-Verlag, 1995. Subject: Digital integrated circuits -- Design and construction -- Data processing -- Congresses; Automatic theorem proving -- Congresses; Computer-aided design -- Congresses.          Add to Book Cart Relevance: 42.70%