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.
Analysis and verification of multiple-agent languages : 5th LOMAPS workshop : Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.)
| Analysis and verification of multiple-agent languages : 5th LOMAPS workshop : Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | VIII, 434 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - stoccolma - 1996
linguaggi di programmazione - congressi - 1996 software - sviluppo - congressi - 1996 |
| ISBN | 3-540-62503-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205350203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive logic programming : 6th International workshop, ILP-96: Stockholm, Sweden, August 26-28,1996: selected papers / Stephen Muggleton (ed.)
| Inductive logic programming : 6th International workshop, ILP-96: Stockholm, Sweden, August 26-28,1996: selected papers / Stephen Muggleton (ed.) |
| Autore | International workshop ILP-96 : 6. : 1996 |
| Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | VIII, 396 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - stoccolma - 1996
elaboratori elettronici - programmazione - congressi - 1996 |
| ISBN | 3-540-63494-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201400203316 |
International workshop ILP-96 : 6. : 1996
|
||
| Berlino : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic program synthesis and transformation : 6th International workshop, LOPSTR'96 : Stockholm, Sweden, August 1996 : proceedings / John Gallagher (ed.)
| Logic program synthesis and transformation : 6th International workshop, LOPSTR'96 : Stockholm, Sweden, August 1996 : proceedings / John Gallagher (ed.) |
| Autore | International workshop LOPSTR'96 : 6. : 1996 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | VI, 324 p. : ill ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - stoccolma - 1996
elaboratori elettronici - programmazione - congressi - 1996 logica matematica - congressi - 1996 |
| ISBN | 3-540-62718-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205110203316 |
|
International workshop LOPSTR'96 : 6. : 1996
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||