Combining Type Disciplines.

Felice Cardone Mariangiola Dezani-Ciancaglini Ugo de'Liguoro

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

artificial intelligence
social sciences
decision making
computer science
neural network
multimedia
information retrieval
image sequences
mobile robot