机器定理证明

  • 网络mechanical theorem proving

机器定理证明机器定理证明

机器定理证明

mechanical theorem proving

同时,逻辑理论家也开创了机器定理证明(mechanical theorem proving)这一新的学科领域。1956年夏天,正式把这一学科领域 …

热词推荐