Quantifier Handling Issues in Computer-Oriented Intuitionistic Calculi.

Alexander V. Lyaletski

Published in: Intelligent Information Systems (2001)

Keyphrases

computer systems
key issues
real time
machine learning
artificial intelligence
decision making
pattern recognition
computer technology
computer programs
fuzzy information
linear logic