The Clause-Diffusion Methodology for Distributed Deduction.

Maria Paola Bonacina Jieh Hsiang

Published in: Fundam. Informaticae (1995)

Keyphrases

distributed systems
theorem prover
peer to peer
cooperative
computer networks
distributed data
databases
multi agent
theorem proving
neural network
distributed environment
anisotropic diffusion
propositional logic
design methodology