Free Objects and Equational Deduction for Partial Conditional Specifications.

Egidio Astesiano Maura Cerioli

Published in: Theor. Comput. Sci. (1995)

Keyphrases

theorem proving
data objects
neural network
natural language
inference rules
theorem prover
data sets
first order logic
real world objects
individual objects