Nondeterministic functions and the existence of optimal proof systems.

Olaf Beyersdorff Johannes Köbler Jochen Messner

Published in: Theor. Comput. Sci. (2009)

Keyphrases

knowledge based systems
database
artificial intelligence
management system
optimal design
real time
computer vision
expert systems
distributed systems
intelligent systems
building blocks
retrieval systems