An Algebraic Construction of Predicate Transformers.

Paul H. B. Gardiner Clare E. Martin Oege de Moor

Published in: Sci. Comput. Program. (1994)

Keyphrases

data mining
e learning
knowledge base
learning environment
relational databases
evolutionary algorithm
first order logic
construction process
construction industry