On the Completeness of Modular Proof Systems.

Published in: Inf. Process. Lett. (1990)

Keyphrases

intelligent systems
management system
website
distributed systems
real time
databases
computer systems
building blocks
search engine
information systems
feature selection
bayesian networks
multi agent
mobile robot
knowledge representation
theorem proving