A Constructive Logic of Multiple Subtyping.

Harry G. Mairson

Published in: POPL (1993)

Keyphrases

real time
neural network
search algorithm
databases
decision making
image processing
multi agent systems
data sources
multiple sources