Login / Signup

Proof Generation in CDSAT.

Maria Paola Bonacina
Published in: PxTP (2021)
Keyphrases
  • theorem proving
  • linear logic
  • neural network
  • artificial intelligence
  • description logics