• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

-Calculus.

Fu SongYedi ZhangTaolue ChenYu TangZhiwu Xu
Published in: AAAI (2019)
Keyphrases
  • automated theorem proving
  • real time
  • expert systems
  • automated deduction
  • information retrieval
  • website
  • data structure
  • multiresolution
  • data model
  • mobile robot
  • theorem proving
  • natural deduction
  • computer algebra