Extensions of logic programming : third International workshop, ELP'92 : Bologna, Italy, February 26-28, 19992 : proceedings / E. Lamma (ed.)
| Extensions of logic programming : third International workshop, ELP'92 : Bologna, Italy, February 26-28, 19992 : proceedings / E. Lamma (ed.) |
| Autore | International workshop ELP'92 : 3. : 1992 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | VIII, 417 p. : ill. ; 24 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - bologna - 1992
elaboratori elettronici - programmazione - congressi - 1992 logica matematica - congressi - 1992 |
| ISBN | 3-540-56454-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201890203316 |
International workshop ELP'92 : 3. : 1992
|
||
| Berlin [etc.], : Springer-Verlag, copyr. 1993 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programmazione logica e prolog / Luca Console, Evelina Lamma, Paola Mello, Michela Milano
| Programmazione logica e prolog / Luca Console, Evelina Lamma, Paola Mello, Michela Milano |
| Autore | Console, Luca |
| Edizione | [nuova edizione] |
| Pubbl/distr/stampa | Torino : Utet, c1997 |
| Descrizione fisica | xviii, 412 p. : ill. ; 24 cm |
| Disciplina | 005.133 |
| Altri autori (Persone) |
Lamma, Evelina
Mello, Paola Milano, Michela |
| Soggetto non controllato |
Linguaggi di programmazione
Programmazione logica Prolog |
| ISBN | 88-7750-483-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001484220403321 |
Console, Luca
|
||
| Torino : Utet, c1997 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programmazione logica e prolog / Luca Console, Evelina Lamma, Paola Mello
| Programmazione logica e prolog / Luca Console, Evelina Lamma, Paola Mello |
| Autore | Console, Luca |
| Pubbl/distr/stampa | Torino : UTET, 1991 |
| Descrizione fisica | xv, 382 p. : ill. ; 24 cm |
| Disciplina | 005.133 |
| Altri autori (Persone) |
Lamma, Evelina
Mello, Paola |
| Collana | Collana di informatica |
| Soggetto non controllato | Linguaggi di programmazione - PROLOG |
| ISBN | 88-7750-051-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009725200403321 |
Console, Luca
|
||
| Torino : UTET, 1991 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||