Learning-assisted theorem proving with millions of lemmas.
about
Learning-assisted theorem proving with millions of lemmas.
description
2015 nî lūn-bûn
@nan
2015年の論文
@ja
2015年論文
@yue
2015年論文
@zh-hant
2015年論文
@zh-hk
2015年論文
@zh-mo
2015年論文
@zh-tw
2015年论文
@wuu
2015年论文
@zh
2015年论文
@zh-cn
name
Learning-assisted theorem proving with millions of lemmas.
@ast
Learning-assisted theorem proving with millions of lemmas.
@en
type
label
Learning-assisted theorem proving with millions of lemmas.
@ast
Learning-assisted theorem proving with millions of lemmas.
@en
prefLabel
Learning-assisted theorem proving with millions of lemmas.
@ast
Learning-assisted theorem proving with millions of lemmas.
@en
P1476
Learning-assisted theorem proving with millions of lemmas
@en
P2093
Josef Urban
P304
P356
10.1016/J.JSC.2014.09.032
P577
2015-07-01T00:00:00Z