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条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。