Abstract Implementations and Correctness Proofs.

Gilles Bernot Michel Bidoit Christine Choppy

Published in: STACS (1986)

Keyphrases

theorem proving
higher level
low level
database
multiscale
mathematical proofs
efficient implementation
image processing
artificial intelligence
machine learning
databases
decision trees
e learning
expert systems
decision making
neural network
sequent calculus
equational theories