WEKO3
-
RootNode
アイテム
A-30 Property Verification for Arithmetic Logical Circuit by using Proof Checker
https://ipsj.ixsq.nii.ac.jp/records/152854
https://ipsj.ixsq.nii.ac.jp/records/15285490768c37-6cb8-410b-aec2-f4b133cb41ef
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2002 by IEICE,IPSJ
|
Item type | FIT(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2002-09-13 | |||||||||||
タイトル | ||||||||||||
言語 | en | |||||||||||
タイトル | A-30 Property Verification for Arithmetic Logical Circuit by using Proof Checker | |||||||||||
言語 | ||||||||||||
言語 | eng | |||||||||||
資源タイプ | ||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
資源タイプ | conference paper | |||||||||||
著者所属(英) | ||||||||||||
en | ||||||||||||
Faculty of Engineering, Shinshu University | ||||||||||||
著者所属(英) | ||||||||||||
en | ||||||||||||
Faculty of Engineering, Shinshu University | ||||||||||||
著者所属(英) | ||||||||||||
en | ||||||||||||
Institute of Computer Science, University of Bialystok | ||||||||||||
著者名(英) |
Wasaki, Katsumi
× Wasaki, Katsumi
× Yamaguchi, Shin'nosuke
× Bancerek, Grzegorz
|
|||||||||||
書誌レコードID | ||||||||||||
収録物識別子タイプ | NCID | |||||||||||
収録物識別子 | AA11740605 | |||||||||||
書誌情報 |
情報科学技術フォーラム一般講演論文集 巻 2002, 号 1, p. 59-60, 発行日 2002-09-13 |
|||||||||||
出版者 | ||||||||||||
言語 | ja | |||||||||||
出版者 | 情報処理学会 |