Transforming Predicate Transformers.

Published in: Formal Description of Programming Concepts (1977)

Keyphrases

first order logic
partial discharge
neural network
feature selection
relational databases
cost function
co occurrence
datalog programs