Clause Management Systems.

Alex Kean George K. Tsiknis

Published in: Comput. Intell. (1993)

Keyphrases

management system
resource management
database management systems
search space
information systems
water resources
file management
databases
real world
search engine
multimedia
image sequences
computational complexity
theorem prover
horn clauses
refinement operators