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 | ||
| 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 | ||
| 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 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||