Deduction Automatique et Systemes Transformationnels.

Jacques Chauché

Published in: COLING (1986)

Keyphrases

theorem proving
inference rules
computer algebra
intuitionistic logic
cost function
data mining
data structure
automated theorem proving
automated deduction