Login
|
New Account
ITA
ENG
Parallelization of Deduction Strategies: An Analytical Study
Authors
M.P.Bonacina,J.Hsiang
Citation
M.p.bonacina,j.hsiang, Parallelization of Deduction Strategies: An Analytical Study, Journal of automated reasoning , 13(1), 1994, pp. 1-34
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
13
Issue
1
Year of publication
1994
Pages
1 - 34
Database
ACNP
SICI code