Sciweavers

AMAI
2000
Springer

A taxonomy of parallel strategies for deduction

13 years 11 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)