Nqthm
Nqthm
["Proving Theorems About LISP Functions", R.S. Boyer et alJACM 22(1):129-144 (Jan 1975)].
单词 | nqthm |
释义 | NqthmNqthm["Proving Theorems About LISP Functions", R.S. Boyer et alJACM 22(1):129-144 (Jan 1975)]. |
随便看 |
|
英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。