Code-carrying theories.

Bart Jacobs Sjaak Smetsers Ronny Wichers Schreur

Published in: Formal Aspects Comput. (2007)

Keyphrases

source code
multiscale
code generation
program code
neural network
feature selection
decision trees
multi agent
causal reasoning
error correcting
legal knowledge