-Calculus.

Gabriel Ciobanu Vladimir A. Zakharov

Published in: Ershov Memorial Conference (2006)

Keyphrases

automated theorem proving
computer algebra
decision trees
automated deduction
decision making
website
similarity measure
special case