Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Published in: TAP@FM (2019)

Keyphrases

lecture notes
computer science
international symposium
advances in artificial intelligence
lecture notes in artificial intelligence
theorem proving
advances in information retrieval
machine learning
artificial intelligence
neural network
statistical tests
formal proofs