The Clause-Diffusion Methodology for Distributed Deduction

Resource

Fundamenta Informaticae, Vol. 24, No.1&2, pp.177-207

Journal

Fundamenta Informaticae

Journal Volume

Vol. 24

Journal Issue

No.1&2

Pages

177-207

Date Issued

1995

Date

1995

Author(s)

Bonacina M. P.

Hsiang J.

URI

Type

journal article

File(s)

Name

12.pdf

Size

271.52 KB

Format

Adobe PDF

Checksum

(MD5):589ed89968e31a52f70782a47db86213