Login / Signup
Hybrid Relations in Isabelle/UTP.
Simon Foster
Published in:
UTP (2019)
Keyphrases
</>
theorem prover
causal relations
website
case study
real time
data sets
neural network
artificial neural networks
co occurrence
temporal relations
hybrid approaches