@techreport{weko_58645_1,
   author	 = "岸本,章宏 and 小谷,善行",
   title	 = "証明数・反証数を用いたAND/OR木探索アルゴリズムの分散メモリマシンにおける効果的な並列化法について",
   year 	 = "2000",
   institution	 = "東京農工大学工学部情報コミュニケーション工学科, 東京農工大学工学部情報コミュニケーション工学科",
   number	 = "27(1999-GI-002)",
   month	 = "mar"
}