C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Hall's Marriage Theorem.
Dongchen Jiang
Tobias Nipkow
Published in:
Arch. Formal Proofs (2010)
Keyphrases
</>
information systems
artificial intelligence
computer vision
information retrieval
similarity measure
training data
multi agent
feature vectors
data model
von neumann