Sciweavers

58
Voted
AMAI
2000
Springer

A taxonomy of parallel strategies for deduction

14 years 8 months ago
A taxonomy of parallel strategies for deduction
Maria Paola Bonacina
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2000
Where AMAI
Authors Maria Paola Bonacina
Comments (0)