Gennari, Rosella
Gennari, Rosella
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.0 secondi).
Constraint Programming for Modelling and Solving Modal Satisfiability
2003-01-01 Sebastian, Brand; Gennari, Rosella; H., de Rosa
Finite CSP solvers for modal satisfiability
2003-01-01 Sebastian, Brand; Gennari, Rosella; Maarten de, Rijke
Modelling Modal Satisfiability in Constraing Logic Programming
2003-01-01 Sebastian, Brand; Gennari, Rosella; H., de Rosa
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Constraint Programming for Modelling and Solving Modal Satisfiability | 1-gen-2003 | Sebastian, Brand; Gennari, Rosella; H., de Rosa | |
| Finite CSP solvers for modal satisfiability | 1-gen-2003 | Sebastian, Brand; Gennari, Rosella; Maarten de, Rijke | |
| Modelling Modal Satisfiability in Constraing Logic Programming | 1-gen-2003 | Sebastian, Brand; Gennari, Rosella; H., de Rosa |