Logical Inference in a Network Environment.

Zdravko Markov Christo Dichev

Published in: AIMSA (1990)

Keyphrases

logical inference
theorem proving
databases
mobile robot
wireless sensor networks
peer to peer