Login / Signup

Computing Transivity Tables: A Challenge For Automated Theorem Provers.

David A. RandellAnthony G. CohnZhan Cui
Published in: CADE (1992)
Keyphrases
  • automated theorem provers
  • computer algebra
  • decision making
  • database
  • real time
  • data sets
  • databases
  • information systems
  • database systems
  • lower bound
  • expert systems
  • relational databases
  • probability distribution