A Field Guide to Equational Logic.

George F. McNulty

Published in: J. Symb. Comput. (1992)

Keyphrases

logic programming
neural network
defeasible logic
horn clauses
automated reasoning
lattice theory
theorem proving
natural language
modal logic
social networks
genetic algorithm
probabilistic logic
machine learning
digital circuits
asynchronous circuits
proof theory
data sets