Login / Signup
Reductions for Safety Proofs (Extended Version).
Azadeh Farzan
Anthony Vandikas
Published in:
CoRR (2019)
Keyphrases
</>
theorem proving
theorem prover
neural network
expert systems
data mining
information retrieval
e learning
three dimensional
digital libraries
civil aviation