El lambda-calculo Etiquetado Paralelo (LCEP).

Salvador Lucas Javier Oliver

Published in: GULP-PRODE (1) (1994)

Keyphrases

description logics
fixed point
lambda calculus
computer vision
knowledge base
artificial neural networks
dl lite
machine learning
keywords
expert systems