top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
Implementations of Prolog / editor: J. A. Campbell
Implementations of Prolog / editor: J. A. Campbell
Pubbl/distr/stampa Chichester ; Ellis Horwood ; New York \etc.!, : Halsted press, 1984
Descrizione fisica 391 p. ; 25 cm.
Disciplina 001.64
Collana Ellis Horwood series in artificial intelligence
Soggetto topico Elaboratori elettronici - Linguaggio Prolog
ISBN 0853126755
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAS-MIL0076019
Chichester ; Ellis Horwood ; New York \etc.!, : Halsted press, 1984
Materiale a stampa
Lo trovi qui: Univ. di Cassino e del Lazio Meridionale
Opac: Controlla la disponibilità qui
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 Elaboratori elettronici - Linguaggio Prolog
Elaboratori elettronici - Programmazione
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
Opac: Controlla la disponibilità qui
Programmare in Prolog / W.F. Clocksin, C.S. Mellish ; a cura di Luigi Marcolungo
Programmare in Prolog / W.F. Clocksin, C.S. Mellish ; a cura di Luigi Marcolungo
Autore Clocksin, W. F.
Edizione [2. ed]
Pubbl/distr/stampa Milano, : Angeli, 1987
Descrizione fisica 285 p. ; 22 cm
Disciplina 005.133
Altri autori (Persone) Mellish, Christopher S.
Collana Collana di informatica-EDP
Soggetto topico Elaboratori elettronici - Linguaggio Prolog
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAS-RAV0127553
Clocksin, W. F.  
Milano, : Angeli, 1987
Materiale a stampa
Lo trovi qui: Univ. di Cassino e del Lazio Meridionale
Opac: Controlla la disponibilità qui
Programmazione logica e Prolog / Luca Console ... [et al.]
Programmazione logica e Prolog / Luca Console ... [et al.]
Edizione [Nuova ed]
Pubbl/distr/stampa Torino, : UTET libreria, 1997
Descrizione fisica XVIII, 412 p. ; 24 cm.
Disciplina 005.13
Collana Collana di informatica
Soggetto topico Elaboratori elettronici - Linguaggio Prolog
ISBN 8877504838
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISANNIO-RMS0043747
Torino, : UTET libreria, 1997
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui