Published in

Data Science and Knowledge Engineering for Sensing Decision Support

DOI: 10.1142/9789813273238_0098

Links

Tools

Export citation

Search in Google Scholar

Preliminary framework to combine contradiction separation based automated deduction with superposition and given-clause algorithm

Proceedings article published in 2018 by Xinran Ning, Yang Xu, Feng Cao, Jun Liu
This paper was not found in any repository; the policy of its publisher is unknown or unclear.
This paper was not found in any repository; the policy of its publisher is unknown or unclear.

Full text: Unavailable

Question mark in circle
Preprint: policy unknown
Upload
Question mark in circle
Postprint: policy unknown
Upload
Question mark in circle
Published version: policy unknown
Upload
Beta version