ユニフィケーション

ユニフィケーション

1. 1

   unification

   名詞