Superposition Based on Watson-Crick-Like Complementarity.

Paolo Bottoni Anna Labella Vincenzo Manca Victor Mitrana

Published in: Theory Comput. Syst. (2006)

Keyphrases

theorem proving
incomplete information
computer vision
mobile devices
training data
support vector
multi agent systems
high accuracy
theorem prover