Login / Signup
Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern.
Johann Schumann
Published in:
Künstliche Intell. (1998)
Keyphrases
</>
test set
massachusetts institute of technology
database
data mining
decision trees
face recognition