-Calculus.

René David Bruno Guillaume

Published in: CSL (2003)

Keyphrases

database
automated deduction
real time
data sets
machine learning
artificial intelligence
website
search algorithm
hidden markov models
formal language
proof procedure
relation algebra