Extending Merge Resolution to a Family of Proof Systems.

Sravanthi Chede Anil Shukla

Published in: Electron. Colloquium Comput. Complex. (2022)

Keyphrases

learning systems
complex systems
case study
management system
real time
real world
artificial intelligence
multimedia
digital libraries
expert systems
high resolution
special case
information retrieval systems
computer systems