-Calculus.

Fu Song Yedi Zhang Taolue Chen Yu Tang Zhiwu 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