Elimination of Negation in Term Algebras.

Jean-Louis Lassez Michael J. Maher Kim Marriott

Published in: MFCS (1991)

Keyphrases

logic programming
logic programs
neural network
deductive databases
graph model
real time
information systems
knowledge base
website
clifford algebra