Login / Signup
On the refutational completeness of signed binary resolution and hyperresolution.
Dusan Guller
Published in:
Fuzzy Sets Syst. (2009)
Keyphrases
</>
theorem proving
consequence finding
first order logic
inference rules
non binary
binary data
real time
high resolution
databases
natural language
expert systems
low resolution
theorem prover
sampling rate
higher resolution