top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Logic based Program Synthesis and Transformation : 13th International symposium, LOPSTR 2003 : Uppsala, Sweden, August 25-27, 2003 : Revised Selected Papers / Maurice Bruynooghe(ed.)
Logic based Program Synthesis and Transformation : 13th International symposium, LOPSTR 2003 : Uppsala, Sweden, August 25-27, 2003 : Revised Selected Papers / Maurice Bruynooghe(ed.)
Autore International workshop, LOPSTR 2003 : <13. ; : 2003
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2003
Descrizione fisica X, 232 p. : ill. ; 24 cm
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto topico Programmazione logica - Congressi - Uppsala - 2003
ISBN 3-540-22174-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002961840203316
International workshop, LOPSTR 2003 : <13. ; : 2003  
Berlin [etc.] : Springer, copyr. 2003
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Program Development in Computational Logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kunk-Kiu Lau(Eds.)
Program Development in Computational Logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kunk-Kiu Lau(Eds.)
Autore BRUYNOOGHE, Maurice
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2004
Descrizione fisica VIII, 538 p. : ill. ; 24 cm.
Disciplina 004.071245
Altri autori (Persone) LAU, Kung-Kiu
Collana Lecture notes in computer science, State of the Art Survey
Soggetto topico Informatica - Programmazione
ISBN 3-540-22152-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002962260203316
BRUYNOOGHE, Maurice  
Berlin [etc.] : Springer, copyr. 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui