-Calculus.

Published in: CONCUR (2005)

Keyphrases

neural network
genetic algorithm
decision making
computer algebra
database
real time
information retrieval
social networks
artificial neural networks
theorem prover
formal language
automated theorem proving