検索結果
検索結果
文字コードの制約があるため、実際と異なる漢字あるいはヨミによる表示があります。ご了承ください。
1 件見つかりました。
- 大柳,俊夫 (オオヤナギ,トシオ) https://www.lib.hokudai.ac.jp/dissertations/list/?FF=4&LANG=ja&ACCN=1203604573
| 論文名 | 数理計画法に基づく命題論理充足可能性問題の解法に関する研究 |
| 論文名(欧文) | |
| 学位授与年度 | 1994 |
| 学位種別／学位種類 | 2（論文博士） / 036（博士(工学)） |
| 報告番号 | 4573 |
| 学位授与年月日 | 1994-06-30 |
| 主査／副査 | 大内,東 / 宮本,衛市 伊達,惇 嘉数,侑昇 加地,郁夫 |
| 所在 | |
| 配架番号 | |
| 備考 | |
| 内容の要旨と審査の要旨 | 4573_oyanagi.pdf |