On the Erdős-Ko-Rado theorem and the Bollobás theorem for t-intersecting families.

Dong Yeap Kang Jaehoon Kim Younjin Kim

Published in: Eur. J. Comb. (2015)

Keyphrases

search algorithm
intuitionistic logic
search engine
decision making
metadata
high level
training data
multi agent
data structure
pattern recognition
object recognition
artificial neural networks
feature vectors
interactive theorem proving