![](/img/cover-not-exists.png)
Parallelization of deduction strategies: An analytical study
Maria Paola Bonacina, Jieh HsiangVolume:
13
Year:
1994
Language:
english
Pages:
33
DOI:
10.1007/bf00881910
File:
PDF, 2.90 MB
english, 1994