キーワード索引
English Page
SITE TOP
ログイン
本文PDFの閲覧にはログインが必要です.
>
パスワードを忘れた場合は.
メニュー
検索
全文検索
英文検索
最新号目次
A:基礎・境界
和文論文誌 A
Trans.Fundamentals.
B:通信
和文論文誌 B
Trans.Commun.
C:エレクトロニクス
和文論文誌 C
Trans.Electron.
D:情報・システム
和文論文誌 D
Trans.Inf. & Syst.
-
アーカイブ
巻号一覧 [和文論文誌]
和文論文誌 A
和文論文誌 B
和文論文誌 C
和文論文誌 D
巻号一覧 [英文論文誌]
Trans.Fundamentals.
Trans.Commun.
Trans.Electron.
Trans.Inf. & Syst.
Transactions (1976-1990)
-
編集委員会メンバ
編集委員会メンバ[和文論文誌]
和文論文誌 A
和文論文誌 B
和文論文誌 C
和文論文誌 D
アーカイブ
編集委員会メンバ[英文論文誌]
Trans.Fundamentals.
Trans.Commun.
Trans.Electron.
Trans.Inf.&Syst.
Archive
-
各賞受賞論文/招待論文一覧
B:通信(無償公開)
和文論文誌 B
Trans.Commun.
C:エレクトロニクス(無償公開)
和文論文誌 C
Trans.Electron.
D:情報・システム(無償公開)
和文論文誌 D
Trans.Inf. & Syst.
-
リンク
投稿のページ
統計情報:採録率,査読期間等
委員会からのお知らせ
IEICE HP
-
その他
プライバシーポリシー
著作権について
Copyright (c) by IEICE
キーワード : AND並列
モデル生成型定理証明系のAND並列化方式
越村 三幸
長谷川 隆三
誌名:
電子情報通信学会論文誌 D
発行日:
1995/02/25
Vol.
J78-D1
No.
2
;
pp.
228-238
論文種別:
特集論文 (超並列コンピュータシステム論文特集)
専門分野:
応用
キーワード:
自動証明
,
モデル生成
,
連言照合
,
包摂テスト
,
AND並列
,
あらまし
|
本文:PDF
(762.4KB)