The Calculus of algebraic Constructions.

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

Published in: RTA (1999)

Keyphrases

algebraic structure
computer algebra
qualitative spatial
genetic algorithm
artificial intelligence
computer vision
similarity measure
automated theorem proving
automated deduction
data sets
real world
learning environment
formal language
proof procedure
algebraic expressions