Sciweavers

LPAR
2010
Springer

PBINT, A Logic for Modelling Search Problems Involving Arithmetic

13 years 10 months ago
PBINT, A Logic for Modelling Search Problems Involving Arithmetic
Shahab Tasharrofi, Eugenia Ternovska
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where LPAR
Authors Shahab Tasharrofi, Eugenia Ternovska
Comments (0)