[l]I[\lambda ].

Taneli Huuskonen Tapani Hyttinen Mika Rautila

Published in: Arch. Math. Log. (1999)

Keyphrases

database
knowledge base
fixed point
neural network
computer vision
multi agent
relational databases
lambda calculus