Login / Signup
The Imperative Refinement Framework.
Peter Lammich
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
website
computational model
main contribution
theoretical framework
machine learning
artificial intelligence
three dimensional
user interface
probabilistic model