情報・システムソサイエティ誌
Online ISSN : 2189-9819
Print ISSN : 2189-9797
ISSN-L : 2189-9797
おめでとう論文賞
基本対称関数に基づく節をもつCNF論理式の充足可能性判定
馬野 洋平, 酒井 正彦, 西田 直樹, 坂部 俊樹
著者情報
解説誌・一般情報誌 フリー

2011 年 16 巻 3 号 p. 14

詳細
PDFをダウンロード (551K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 2011 一般社団法人 電子情報通信学会
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top