-calculus.

Herman Geuvers Robbert Krebbers James McKinna

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

computer algebra
learning algorithm
data sets
information systems
formal language
automated theorem proving
qualitative spatial and temporal reasoning