paramodulation

 
[pærəmɒdjʊ'leɪʃn]     [pærəmɒdjʊ'leɪʃn]    
  • [计] 调解法

paramodulation的用法和样例:

例句

  1. Semantic Resolution and Paramodulation for Horn Sets
    Horn集上的语义归结和调换

paramodulation的相关资料:

临近单词

今日热词
目录 附录 查词历史