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.
Logic programming : proceedings of the tenth international conference on logic programming / edited by David S. Warren
| Logic programming : proceedings of the tenth international conference on logic programming / edited by David S. Warren |
| Autore | International conference on logic programming : <10. : ; 1993 |
| Pubbl/distr/stampa | Cambridge (Mass.), : The MIT press, 1993 |
| Descrizione fisica | XX, 854 p. ; 23 cm |
| Disciplina |
005.1
005.115 |
| Collana | Logic programming |
| Soggetto topico | Programmazione logica - Congressi - 1993 |
| ISBN | 0262731053 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS0081009 |
International conference on logic programming : <10. : ; 1993
|
||
| Cambridge (Mass.), : The MIT press, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Practical Aspects of Declarative Languages [Risorsa elettronica] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / edited by Paul Hudak, David S. Warren
| Practical Aspects of Declarative Languages [Risorsa elettronica] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / edited by Paul Hudak, David S. Warren |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540774426 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009254750403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||