Warren's abstract machine : a tutorial reconstruction / Hassan Aït-Kaci
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Aït-Kaci, Hassan <1954- >
|
| Titolo: |
Warren's abstract machine : a tutorial reconstruction / Hassan Aït-Kaci
|
| Pubblicazione: | Cambridge ; London, : MIT Press, c1991 |
| Descrizione fisica: | XVI, 114 p. : ill. ; 24 cm. |
| Disciplina: | 006.3 |
| Soggetto topico: | Prolog <linguaggio di programmazione> |
| Elaboratori elettronici - Linguaggio Prolog | |
| Titolo autorizzato: | Warren's abstract machine |
| ISBN: | 0262011239 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | UBO2785997 |
| Lo trovi qui: | Univ. del Sannio |
| Collocazione: | SALA DING 006.3 AIT.wa |
| Opac: | Controlla la disponibilità qui |
Serie:
Logic programming