An overview of Duration Calculus.

Published in: J. Comput. Sci. Technol. (1998)

Keyphrases

information retrieval
provably correct
computer algebra
neural network
artificial intelligence
bayesian networks
evolutionary algorithm
formal language
automated deduction