A Natural Proof System Based on rewriting Techniques.

Deepak Kapur Balakrishnan Krishnamurthy

Published in: CADE (1984)

Keyphrases

data sets
machine learning
information retrieval
genetic algorithm
information systems
special case
artificial systems
rewriting systems