Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: Koji Iwanuma (著者)
  3. 1件

1 0 0 0 OA SMT:個別理論を取り扱うSAT技術(<特集>最近のSAT技術の発展)

著者
岩沼 宏治 鍋島 英知 Koji Iwanuma Hidetomo Nabeshima
雑誌
人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence (ISSN:09128085)
巻号頁・発行日
vol.25, no.1, pp.86-95, 2010-01-01