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.
Implementations of distributed Prolog / edited by Peter Kacsuk and Michael Wise
| Implementations of distributed Prolog / edited by Peter Kacsuk and Michael Wise |
| Pubbl/distr/stampa | Chichester [etc.], : Wiley, 1992 |
| Descrizione fisica | XXII, 469 p. : ill. ; 26 cm. |
| Disciplina |
005.13
005.133 |
| Collana |
Wiley series in parallel computing
Wiley professional computing |
| Soggetto topico |
ELABORATORI ELETTRONICI - Linguaggio Prolog
Elaborazione dei dati - Programmazione - Linguaggi Prolog |
| ISBN | 0471931160 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO1366308 |
| Chichester [etc.], : Wiley, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Logic programming : systematic program development / Yves Deville
| Logic programming : systematic program development / Yves Deville |
| Autore | Deville, Yves <1960- > |
| Pubbl/distr/stampa | Wokingham [etc.], : Addison-Wesley, 1990 |
| Descrizione fisica | XVII, 338 p. ; 24 cm |
| Disciplina |
005.1
005.115 |
| Collana | International series in logic programming |
| Soggetto topico |
Programmazione logica
ELABORATORI ELETTRONICI - Linguaggio Prolog |
| ISBN | 0201175762 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-PUV0034542 |
Deville, Yves <1960- >
|
||
| Wokingham [etc.], : Addison-Wesley, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Programming in prolog / W. F. Clocksin, C. S. Mellish
| Programming in prolog / W. F. Clocksin, C. S. Mellish |
| Autore | Clocksin, W. F. |
| Edizione | [3. revised and extended ed] |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1987 |
| Descrizione fisica | XIV, 281 p. ; 24 cm |
| Disciplina |
005.13
005.133 |
| Altri autori (Persone) | Mellish, Christopher S. |
| Soggetto topico | ELABORATORI ELETTRONICI - Linguaggio Prolog |
| ISBN |
0387175393
3540175393 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10003502 |
|
Clocksin, W. F.
|
||
| Berlin [etc.], : Springer, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Prolog ++ : the power of object-oriented and logic programming / Chris Moss
| Prolog ++ : the power of object-oriented and logic programming / Chris Moss |
| Autore | Moss, Chris <1944- > |
| Pubbl/distr/stampa | Wokingham (Eng.) ; Reading (Mass.), : Addison-Wesley, 1994 |
| Descrizione fisica | XIV, 312 p. ; 24 cm |
| Disciplina |
005.13
005.133 |
| Collana | International series in logic programming |
| Soggetto topico |
Programmazione logica
ELABORATORI ELETTRONICI - Linguaggio Prolog |
| ISBN | 0201565072 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS0066855 |
|
Moss, Chris <1944- >
|
||
| Wokingham (Eng.) ; Reading (Mass.), : Addison-Wesley, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Warren's abstract machine : a tutorial reconstruction / Hassan Aït-Kaci
| Warren's abstract machine : a tutorial reconstruction / Hassan Aït-Kaci |
| Autore | Aït-Kaci, Hassan <1954- > |
| Pubbl/distr/stampa | Cambridge ; London, : MIT Press, c1991 |
| Descrizione fisica | XVI, 114 p. : ill. ; 24 cm. |
| Disciplina | 006.3 |
| Collana | Logic programming |
| Soggetto topico |
Prolog Programmazione logica ELABORATORI ELETTRONICI - Linguaggio Prolog |
| ISBN | 0262011239 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO2785997 |
|
Aït-Kaci, Hassan <1954- >
|
||
| Cambridge ; London, : MIT Press, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
