-calculus.

Jakob Rehof Morten Heine Sørensen

Published in: TACS (1994)

Keyphrases

computer algebra
real numbers
database
genetic algorithm
case study
multiscale
data structure
formal language
automated deduction
natural deduction
qualitative spatial and temporal reasoning