Extending resolution to resolution logics
From MaRDI portal
Publication:3211281
DOI10.1080/09528139108915279zbMath0723.03004MaRDI QIDQ3211281
Publication date: 1991
Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/09528139108915279
03B35: Mechanization of proofs and logical operations
Related Items
Cites Work