“Wangd-asr-book”版本间的差异
来自cslt Wiki
（以“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:/...”为内容创建页面） |
（没有差异）
|
2016年10月5日 (三) 07:37的最后版本
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://arxiv.org/pdf/1610.01044v1.pdf
Iterative Theorem Provers (ITPs) such as COQ [5] or Mizar[12] [2] (Other standard ITPs include HOL (Light), Isabelle and ACL2.) Automatic Theorem Prover (ATP), for example E [14] [15] (Other standard ATPs include Vampyre, Z3 and JProver.)
COQ: iterative Theorem Provers (ITP) https://coq.inria.fr/about-coq
