Login / Signup

Tableau Recycling.

Angelika Mader
Published in: CAV (1992)
Keyphrases
  • description logics
  • automated theorem proving
  • databases
  • neural network
  • scheduling problem
  • proof search