On Constructive Connectives and Systems

Arnon Avron Ori Lahav

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

real world
mobile robot
computer systems
database
decision making
web services
decision trees
multiscale
multi agent
multiresolution
special case
management system
intelligent systems
learning systems
retrieval systems
computing systems