A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme
- Estévez Martín, S.
- Fernández, A.J.
- Hortalá González, M.T.
- Rodríguez Artalejo, M.
- del Vado Vírseda, R.
ISSN: 1571-0661
Datum der Publikation: 2007
Ausgabe: 177
Nummer: 1
Seiten: 235-252
Art: Artikel