Login / Signup

Recurrence-Driven Summations in Automated Deduction.

Visa NummelinJasmin BlanchetteSander R. Dahmen
Published in: FroCoS (2023)
Keyphrases
  • automated deduction
  • theorem prover
  • theorem proving
  • inference rules
  • logic programming
  • deductive databases
  • artificial intelligence
  • data driven
  • database
  • feature extraction
  • bayesian networks