プラスティック・セル・アーキテクチャの言語処理系に関する研究

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: プラスティック・セル・アーキテクチャの言語処理系に関する研究
Title Transcription: プラスティックセルアーキテクチャノゲンゴショリケイニカンスルケンキュウ
Author/Editor: 長谷川隆三, 九州大学 [著]
Author Heading: 長谷川, 隆三ハセガワ, リュウゾウ
九州大学キュウシュウダイガク
Publication, Distribution, etc.: [長谷川隆三]
Publication Date: 2002-2004
2005.5
Publication Date (W3CDTF): 2002
2004
Extent: 202p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: 充足可能性 (SAT) 問題 / SATソルバ / 探索ヒューリスティクス / 知的バックトラックジュウソクカノウセイ (SAT) モンダイ / SAT ソルバ / タンサクヒューリスティクス / チテキバックトラック
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 14580380
Holding library: 国立国会図書館
Call No.: Y151-H14580380
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007955807
http://id.ndl.go.jp/bib/000007955807
Bibliographic Record Category (NDL): 214