Suprema of Open and Closed Formulas and Their Application to Resolution

Marco Bellia M. Eugenia Occhiuto

Published in: Inf. Comput. (1995)

Keyphrases

databases
real world

mobile robot
data sets

cloud computing
low resolution

closed world