ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. FIT
  2. 2002
  3. 情報科学技術フォーラム一般講演論文集
  4. 2002
  5. 1

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/152854
90768c37-6cb8-410b-aec2-f4b133cb41ef
名前 / ファイル ライセンス アクション
KJ00006551372.pdf KJ00006551372.pdf (220.6 kB)
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

en Wasaki, Katsumi

Search repository
Yamaguchi, Shin'nosuke

× Yamaguchi, Shin'nosuke

en Yamaguchi, Shin'nosuke

Search repository
Bancerek, Grzegorz

× Bancerek, Grzegorz

en Bancerek, Grzegorz

Search repository
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA11740605
書誌情報 情報科学技術フォーラム一般講演論文集

巻 2002, 号 1, p. 59-60, 発行日 2002-09-13
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 15:16:33.310480
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

2002: 情報処理学会, 59–60 p.

Loading...

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3