-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