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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|