C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Value-Passing CCS in HOL.
Monica Nesi
Published in:
HUG (1993)
Keyphrases
</>
theorem prover
formal methods
natural deduction
theorem proving
higher order logic
database
databases
decision trees
training data
learning environment
distributed systems