Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Principles and practice of constraint programming - CP 2001 : 7th International conference, CP 2001 : Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Toby Walsh (ed.)
| Principles and practice of constraint programming - CP 2001 : 7th International conference, CP 2001 : Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Toby Walsh (ed.) |
| Autore | International conference CP 2001 <7. ; 2001 ; Paphos, Cyprus> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | XIV, 788 p. : ill. ; 20 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Elaboratori elettronici - Congressi - 2001 |
| ISBN | 3-540-42863-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000955330203316 |
International conference CP 2001 <7. ; 2001 ; Paphos, Cyprus>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Applications of Satisfiability Testing [Risorsa elettronica] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh
| Theory and Applications of Satisfiability Testing [Risorsa elettronica] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540316794 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009235690403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||