Extending Merge Resolution to a Family of Proof Systems.

Sravanthi Chede Anil Shukla

Published in: CoRR (2021)

Keyphrases

real time
management system
data mining
machine learning
special case
computing systems
database
data sets
neural network
decision making
image processing
image segmentation
intelligent systems
computer systems
low resolution
retrieval systems