Simultaneous Paramodulation.

Published in: CADE (1990)

Keyphrases

inference rules
first order logic
theorem proving
image analysis
image processing
three dimensional
preprocessing
wireless sensor networks