Amagasa Teruo | Department Of Oral & Maxillofacial Surgery Faculty Of Dentistry Tokyo Medical And Dental University

スポンサーリンク

概要

• Amagasa Teruoの詳細を見る
• 同名の論文著者
• Department Of Oral & Maxillofacial Surgery Faculty Of Dentistry Tokyo Medical And Dental Universityの論文著者

論文 | ランダム

• 線形論理と論理プログラミング(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• ブール制約解消系によるモデル生成木の刈込み(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• 投機的計算によるSATプランニングの効率改善に関する研究(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• Dynamic Epistemic Logics, Dynamic Doxastic LogicsのKripke Systemの観点からのサーベイ(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• クロムはなぜ chromium ではなく chrome なのか

もっと見る

スポンサーリンク