A pragmatic approach to resolution-based theorem proving

From MaRDI portal
Publication:3877068

DOI10.1007/BF00982291zbMath0436.68059OpenAlexW2040884237MaRDI QIDQ3877068

Judy A. Townley

Publication date: 1980

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00982291



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).




Cites Work


This page was built for publication: A pragmatic approach to resolution-based theorem proving