An algebraic approach to multi−sorted constraints

Opis bibliograficzny
Główni autorzy: Bulatov, A, Jeavons, P
Format: Conference item
Wydane: 2003