“Wangd-asr-book”的版本历史

跳转至: 导航搜索

差异选择:选出需要对比的版本,按“回车键”或下方的按钮进行对比。
说明:(当前)=与最后版本之间的差异,(先前)=与上一版本之间的差异,=小编辑。

  • (当前 | 先前) 2016年10月5日 (三) 07:37Cslt讨论 | 贡献. . (506字节) (+506). . (以“some tips for chapter 1: Automatic reasoning (proof) DeepAlgebra - an outline of a program (a NLP frontend that convert natural langauge to formal terms) https:/...”为内容创建页面)