DOI10.1080/00207160310001650071zbMath1103.68801OpenAlexW2089149568MaRDI QIDQ4464262
Arindama Singh, Manoj K. Raut
Publication date: 27 May 2004 Published in: International Journal of Computer Mathematics (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1080/00207160310001650071
zbMATH Keywords
propositional knowledge bases
Mathematics Subject Classification ID
Cites Work