-Calculus.

Mathias John Cédric Lhoussaine Joachim Niehren

Published in: CMSB (2009)

Keyphrases

automated theorem proving
image segmentation
formal language
proof procedure
automated deduction
database
real time
real world
learning algorithm
artificial intelligence
information systems
decision making
search algorithm
information technology
mobile robot
real numbers