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

First Author: Nalon C
Attributed to:  Robotics and Artificial Intelligence for Nuclear (RAIN) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Parent Publication: Journal of Automated Reasonong