文献

J-GLOBAL ID：200902184763343583   整理番号：00A0133882

β節充足可能性問題に対するDavis-Putnamの手続きの拡張 (文部省統計数理研究所S)

著者 (3件)： 山本雅人 (北大 工) ,  大柳俊夫 (札幌医大 保健医療) ,  大内東 (北大 工)
資料名： 統計数理研究所共同研究リポート  (Institute of Statistical Mathematics Cooperative Research Report)
号： 77  ページ： 42-45  発行年： 1995年09月 
JST資料番号： J0370A  資料種別： 逐次刊行物 (A)
発行国： 日本 (JPN)  言語： 日本語 (JA)

タイトルに関連する用語 (7件)： 節 ,  充足可能性問題 ,  手続き ,  拡張 ,  文部省 ,  統計 ,  研究所