-Calculus.

Published in: FoSSaCS (2005)

Keyphrases

automated deduction
three dimensional
timed automata
learning environment
search algorithm
artificial neural networks
model checking
formal language
qualitative spatial reasoning
proof procedure
provably correct
computer algebra