Parallelization of deduction strategies: An analytical study

Journal

Journal of Automated Reasoning

Journal Volume

13

Journal Issue

1

Pages

1-33

Date Issued

1994

Author(s)

Bonacina, M.P.

DOI

10.1007/BF00881910

URI

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

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-0028494268&doi=10.1007%2fBF00881910&partnerID=40&md5=2ca5e177d07c131aaa6c170edfeedfe6

Type

journal article