法政大学図書館蔵書検索 OPAC

＜図書＞
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.)
(Lecture notes in computer science ; 901)

電子版 >>	Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
出版情報	Berlin : Springer , c1995
巻冊次	ISBN:3540590471
ISBN	3540590471
本文言語	英語
別書名	背表紙タイトル:TPCD'94 : theorem provers in circuit design
大きさ	viii, 303 p. : ill. ; 24 cm

[BOOKデータASPサービス] あらすじ／目次

書誌詳細を表示

一般注記	Final revised proceedings of the Second International Conference on Theorem Provers in Circuit Design Includes bibliographical references
著者標目	Kumar, Ramayya, 1957- Kropf, Thomas, 1961- *IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (2nd : 1994 : Bad Herrenalb, Germany)
分　類	LCC:TK7874.65 DC20:621.39/2
件　名	LCSH:Digital integrated circuits -- Design and construction -- Data processing -- Congresses 全ての件名で検索 LCSH:Automatic theorem proving -- Congresses 全ての件名で検索 LCSH:Computer-aided design -- Congresses 全ての件名で検索
書誌ID	1210140642
NCID	BA24686158

所蔵情報を非表示

配架場所	巻　次	請求記号	資料番号	状　態	コメント	利用注記	予約・取寄	資料メモ	仮想書架
多:B2F小図移管		007/L49/901	10602020300119				予約・取寄	資料メモ	仮想書架	予約・取寄	資料メモ	仮想書架