Recursive (omega)o-Rule for Proof Systems.

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

Keyphrases

computer systems
neural network
intelligent systems
management system
relational databases
expert systems
multiscale
data model
decision making
distributed systems
information retrieval
data sets
knowledge based systems
learning systems
complex systems
retrieval systems
active databases