Login / Signup
Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.
Iman Poernomo
Published in:
Ershov Memorial Conference (2003)
Keyphrases
</>
artificial intelligence
database design
theorem prover
data sets
machine learning
general purpose