On an unsatisfiability-satisfiability prover 充足可能性不可能性証明機について
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
On an unsatisfiability-satisfiability prover
- タイトル別名
-
充足可能性不可能性証明機について
- 著者名
-
細野, 千春
- 著者別名
-
ホソノ, チハル
- 学位授与大学
-
京都大学
- 取得学位
-
理学博士
- 学位授与番号
-
乙第6669号
- 学位授与年月日
-
1988-11-24
注記・抄録
博士論文