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