Login / Signup
Proof Generation in CDSAT.
Maria Paola Bonacina
Published in:
PxTP (2021)
Keyphrases
</>
theorem proving
linear logic
neural network
artificial intelligence
description logics