On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF.

Jacek Leszczylowski

Published in: AAAI (1980)

Keyphrases

management system
neural network
image processing
learning environment
distributed systems
building blocks
complex systems
databases
data mining
similarity measure
search algorithm
evolutionary algorithm
data model
systems require