ホーム
おまかせ表示
付近
ログイン
設定
寄付
ウィキペディアについて
免責事項
検索
Category
:
ユニフィケーション
言語
ウォッチリストに追加
編集
ユニフィケーション
に関するカテゴリ。
→「
en:Category:Unification (computer science)
」も参照
カテゴリ「ユニフィケーション」にあるページ
このカテゴリには 3 ページが含まれており、そのうち以下の 3 ページを表示しています。
*
ユニフィケーション
P
Prolog
は
反ユニフィケーション
