KSP A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments (2018)

First Author: Nalon C
Attributed to:  Science of Sensor System Software funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Parent Publication: Journal of Automated Reasonong