Login / Signup
Towards Automating Inductive Proofs for State Monads.
Richard J. Boulton
Published in:
ARW (2000)
Keyphrases
</>
state space
real time
database
case study
multi agent
concept learning