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 | ||
| ||
The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren
| The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren |
| Autore | Sterling, Leon S. |
| Pubbl/distr/stampa | Cambridge (MA) ; London, : MIT Press, 1986 |
| Descrizione fisica | XXIII, 437 p. : ill. ; 24 cm |
| Disciplina |
005.13
005.133 |
| Altri autori (Persone) | Shapiro, Ehud |
| Collana | MIT press series in logic programming |
| Soggetto topico |
Prolog Elaboratori elettronici - Programmazione - Linguaggio Prolog |
| ISBN |
0262192500
0262691051 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-UFI0004472 |
Sterling, Leon S.
|
||
| Cambridge (MA) ; London, : MIT Press, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The craft of Prolog / Richard A. O'Keefe
| The craft of Prolog / Richard A. O'Keefe |
| Autore | O'Keefe, Richard A. |
| Pubbl/distr/stampa | Cambridge (MA) ; London, : MIT Press, c1990 |
| Descrizione fisica | XIX, 387 p. ; 24 cm |
| Disciplina |
005.13
005.133 |
| Collana | Logic programming |
| Soggetto topico |
Prolog Elaboratori elettronici - Programmazione - Linguaggio Prolog |
| ISBN | 0262150395 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO0009671 |
|
O'Keefe, Richard A.
|
||
| Cambridge (MA) ; London, : MIT Press, c1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The practice of Prolog / edited by Leon S. Sterling
| The practice of Prolog / edited by Leon S. Sterling |
| Pubbl/distr/stampa | Cambridge (Mass.) [etc.], : MIT press, c1990 |
| Descrizione fisica | 312 p. ; 24 cm. |
| Disciplina |
005.13
005.133 |
| Collana | Logic programming |
| Soggetto topico |
Prolog Elaboratori elettronici - Programmazione - Linguaggio Prolog |
| ISBN | 0262193019 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UFI0156273 |
| Cambridge (Mass.) [etc.], : MIT press, c1990 | ||
| 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 | ||
| ||
