A Tactic Calculus-Abridged Version.

Andrew P. Martin Paul H. B. Gardiner Jim Woodcock

Published in: Formal Aspects Comput. (1996)

Keyphrases

algebraic structure
computer algebra
database
learning algorithm
feature selection
multiscale
special case