Completeness of Category-Based Equational Deduction.

Razvan Diaconescu

Published in: Math. Struct. Comput. Sci. (1995)

Keyphrases

theorem proving
equational theories
theorem prover
inference rules
automated deduction
automated theorem proving
first order logic
data quality
proof procedure
data sets
data structure
hierarchical structure
mobile robot
object recognition
clustering algorithm
computer algebra
knowledge base