“Wangd-asr-book”的版本历史
查看本页面的日志
跳转至:
导航
、
搜索
浏览历史
截止年份:
截止月份:
所有
1月
2月
3月
4月
5月
6月
7月
8月
9月
10月
11月
12月
差异选择:选出需要对比的版本,按“回车键”或下方的按钮进行对比。
说明:
(当前)
=与最后版本之间的差异,
(先前)
=与上一版本之间的差异,
小
=小编辑。
(当前 | 先前)
2016年10月5日 (三) 07:37
Cslt
(
讨论
|
贡献
)
. .
(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:/...”为内容创建页面)
导航菜单
个人工具
中文(中国大陆)
登录
名字空间
页面
讨论
变种
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
最近更改
随机页面
帮助
工具
链入页面
相关更改
Atom
特殊页面
页面信息