C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Sane Proof that COLk ࣘ COL3.
William I. Gasarch
Published in:
CoRR (2014)
Keyphrases
</>
theorem proving
theorem prover
neural network
similarity measure
geometry theorem proving
real time
databases
data mining
web services
data structure