Logic programming : 18 th International Conference, ICLP 2002 : Copenhagen, Denmark, July 29-August 1, 2002 : proceedings / Peter J. Stuckey (ed.) |
Autore | International Conference, ICLP <18. ; 2002 ; Copenhagen, Denmark> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2002 |
Descrizione fisica | XI, 470 p. : ill. ; 25 cm. |
Disciplina | 005.131 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
elaboratori elettronici - programmazione - congressi - 2002
logica matematica - congressi - 2002 |
ISBN | 3-540-43930-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001115690203316 |
International Conference, ICLP <18. ; 2002 ; Copenhagen, Denmark> | ||
Berlin [etc.] : Springer-Verlag, copyr. 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Principles and Practice of Constraint Programming [Risorsa elettronica] : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter J. Stuckey |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540859581 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009256900403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|