スポンサーリンク

北海道大学大学院システム情報工学専攻 | 論文

• 論理的問題にかわる新しい問題クラスの導入
• 一階論理制約の等価変換を用いた問題解決の枠組
• 一階論理制約による宣言的記述の拡張
• 一階論理制約による宣言的記述の拡張
• 一階論理制約による宣言的記述の拡張

• < 前のページ

スポンサーリンク