通代算法

通代算法

ピンイン tōng dài suàn fǎ
日本語訳 ユニフィケーションアルゴリズム

通代算法

ピンイン tōng dài suàn fǎ
英語訳 unification algorithm