Near-Equational and Equational Systems of Logic for Partial Functions I.

Published in: J. Symb. Log. (1989)

Keyphrases

theorem proving
horn clauses
theorem prover
computer systems
databases
data mining
decision making
e learning
bayesian networks
distributed systems
logic programming