Login / Signup
Proof of a conjecture of V. Nikiforov.
Tamás Terpai
Published in:
Comb. (2011)
Keyphrases
</>
theorem proving
theorem prover
special case
artificial intelligence
cooperative
linear logic
database
face recognition
complete axiomatization
proof planning
mobile robot
high level
image processing
feature selection
search engine
machine learning
real time