The Clause-Diffusion Methodology for Distributed Deduction.

Journal

Fundam. Inform.

Journal Volume

24

Journal Issue

1/2

Pages

177-207

Date Issued

1995

Author(s)

Bonacina, Maria Paola

DOI

10.3233/FI-1995-24128

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/488699

URL

https://doi.org/10.3233/FI-1995-24128

Type

journal article