検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 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.) T2 Lecture notes in computer science A1 Kumar, Ramayya, 1957- A1 Kropf, Thomas, 1961- A1 IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience YR 1995 FD c1995 SP viii, 303 p. K1 Digital integrated circuits -- Design and construction -- Data processing -- Congresses K1 Automatic theorem proving -- Congresses K1 Computer-aided design -- Congresses PB Springer PP Berlin SN 3540590471 LA English (英語) CL LCC:TK7874.65 CL DC20:621.39/2 NO Final revised proceedings of the Second International Conference on Theorem Provers in Circuit Design NO Includes bibliographical references NO 書誌ID=1000517041; NCID=BA24686158; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000517041 OL 30