Sciweavers

AMAI
2000
Springer

A taxonomy of parallel strategies for deduction

14 years 8 days 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)