The Calculus of Algebraic Constructions

Frédéric Blanqui Jean-Pierre Jouannaud Mitsuhiro Okada

Published in: CoRR (2006)

Keyphrases

algebraic structure
computer algebra
qualitative spatial
real world
multiscale
algebraic expressions
natural deduction
proof procedure
formal language
data structure
decision trees
web pages
decision making
feature selection
social networks
artificial intelligence
machine learning