C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
-Calculus.
Taolue Chen
Tingting Han
Jian Lu
Published in:
FSTTCS (2005)
Keyphrases
</>
computer algebra
neural network
automated deduction
multiscale
relational databases
formal language
proof procedure
automated theorem proving