Modular Proof Principles for Parameterised Concretizations.

David Pichardie

Published in: CASSIS (2005)

Keyphrases

real time
machine learning
design principles
theorem proving
highly flexible
modular structure
database
database systems
automated theorem proving
geometry theorem proving