前のページに戻るこの文献は全文を取り寄せることができます

JDreamⅢ複写サービスから文献全文の複写（冊子体のコピー）をお申込みできます。
ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です。

既に、G-Searchデータベースサービスまたは、JDreamⅢのIDをお持ちの方

JDreamⅢ複写サービス
文献複写のお申込み

JDreamⅢ複写サービスのご利用が初めての方

学術文献の全文複写をお取寄せ
JDreamⅢ複写サービスのご案内

取り寄せる文献のタイトルと詳細

文献

J-GLOBAL ID：201902210053253596 整理番号：19A2085088

プログラミングおよびプログラミング言語 SATソルバーの最新動向と利用技術

Recent Advances in SAT Solvers and their Utilization Technologies.

著者 (4件)：

宋剛秀

(神戸大情報基盤セ)

番原睦則

(神戸大情報基盤セ)

田村直之

(神戸大情報基盤セ)

鍋島英知

(山梨大大学院医学工学総合研究部)

資料名：

コンピュータソフトウェア (Computer Software)

巻： 35 号： 4 ページ： 72-92(J-STAGE) 発行年： 2018年
JST資料番号： Y0628A ISSN： 0289-6540 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：日本語 (JA)

JDreamⅢ複写サービスとは

JDreamⅢ複写サービスは、学術文献の全文を複写（コピー）して取り寄せできる有料サービスです。インターネットに公開されていない文献や、図書館に収録されていない文献の全文を、オンラインで取り寄せることができます。J-GLOBALの整理番号にも対応しているので、申し込みも簡単にできます。全文の複写（コピー）は郵送またはFAXでお送りします

※ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です
※初めてご利用される方は、JDreamⅢ複写サービスのご案内をご覧ください。

TOP

BOTTOM