LA, permutations, and the Hajós Calculus.

Published in: Theor. Comput. Sci. (2005)

Keyphrases

computer algebra
automated deduction
artificial intelligence
real time
digital libraries
probability distribution
formal language
database
neural network
data mining
search engine
natural deduction