Login / Signup
Proof System for Applied Pi Calculus.
Jia Liu
Huimin Lin
Published in:
IFIP TCS (2010)
Keyphrases
</>
artificial intelligence
information retrieval
similarity measure
data sets
expert systems