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)
Constraint satisfaction in logic programming / Pascal Van Hentenryck
Constraint satisfaction in logic programming / Pascal Van Hentenryck
Autore Van Hentenryck, Pascal
Pubbl/distr/stampa Cambridge (MA) ; London, : MIT press, c1989
Descrizione fisica XVI, 224 p. ; 24 cm
Disciplina 005.1
005.115
Collana Logic programming
Soggetto topico Programmazione logica
ISBN 0262081814
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-UFI0139327
Van Hentenryck, Pascal  
Cambridge (MA) ; London, : MIT press, c1989
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Fril, fuzzy and evidential reasoning in artificial intelligence / J. F. Baldwin, T. P. Martin, B. W. Pilsworth
Fril, fuzzy and evidential reasoning in artificial intelligence / J. F. Baldwin, T. P. Martin, B. W. Pilsworth
Autore Baldwin, James Frederick
Pubbl/distr/stampa Taunton, : Research studies press
Descrizione fisica XVII, 388 p. ; 25 cm + 2 floppy disk.
Disciplina 006.3
006.33
Altri autori (Persone) Martin, T. P.
Pilsworth, B. W.
Collana Uncertainty theory in artificial intelligence
Soggetto topico Programmazione logica
Intelligenza artificiale
Sistema esperto
ISBN 047195523X
0863801595
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-TO00712556
Baldwin, James Frederick  
Taunton, : Research studies press
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Graph-based proof procedures for Horn clauses / Stan Raatz
Graph-based proof procedures for Horn clauses / Stan Raatz
Autore Raatz, Stan
Pubbl/distr/stampa Boston [etc.], : Birkhauser, c1990
Descrizione fisica 147 p. ; 24 cm.
Disciplina 005.1
005.115
Collana Progress in computer science and applied logic
Soggetto topico Programmazione logica
Elaboratori elettronici - Programmazione
ISBN 0817635300
3764335300
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-UBO0009847
Raatz, Stan  
Boston [etc.], : Birkhauser, c1990
Materiale a stampa
Lo trovi qui: Univ. del Sannio
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 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
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Logic-based 0-1 constraint programming / Peter Barth
Logic-based 0-1 constraint programming / Peter Barth
Autore Barth, Peter
Pubbl/distr/stampa Boston [etc.], : Kluwer, c1996
Descrizione fisica XIV, 253 p. ; 25 cm
Disciplina 519.700285
519.770285511
Collana Operations research/computer science interfaces
Soggetto topico Ricerca operativa
Programmazione logica
Programmazione matematica
ISBN 0792396634
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Logic-based zero-one constraint programming
Record Nr. UNISANNIO-AQ10029158
Barth, Peter  
Boston [etc.], : Kluwer, c1996
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Messaggi e comunicazioni : trasformazioni della simiglianze in programmazione logica / Oscar Bettelli
Messaggi e comunicazioni : trasformazioni della simiglianze in programmazione logica / Oscar Bettelli
Autore BETTELLI, Oscar
Pubbl/distr/stampa Milano : Angeli, 2000
Descrizione fisica 294 p. ; 24 cm
Disciplina 005.115
Soggetto topico Programmazione logica
ISBN 88-464-3869-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990001227780203316
BETTELLI, Oscar  
Milano : Angeli, 2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Meta-programming in logic programming / edited by Harvey Abramson and M. H. Rogers
Meta-programming in logic programming / edited by Harvey Abramson and M. H. Rogers
Pubbl/distr/stampa Cambridge, Mass. ; London, : The MIT press, c1989
Descrizione fisica 544 p. ; 23 cm.
Disciplina 005.1
005.115
Collana Logic programming
Soggetto topico Programmazione logica
Elaboratori elettronici - Programmazione
ISBN 0262510472
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-UBO0255827
Cambridge, Mass. ; London, : The MIT press, c1989
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Parallel logic programming / Akikazu Takeuchi
Parallel logic programming / Akikazu Takeuchi
Autore Takeuchi, Akikazu
Pubbl/distr/stampa New York [etc.], : John Wiley & Sons, 1992
Descrizione fisica XX, 233 p. : ill. ; 24 cm.
Disciplina 005.1
005.11
Collana Wiley series in parallel computing
Wiley professional computing
Soggetto topico Programmazione logica
Programmazione parallela
ISBN 0471578010
9780471578017
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-RMS0064631
Takeuchi, Akikazu  
New York [etc.], : John Wiley & Sons, 1992
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Parallel logic programming / Evan Tick
Parallel logic programming / Evan Tick
Autore Tick, Evan <1959- >
Pubbl/distr/stampa Cambridge (Mass.) ; London, : MIT press, c1991
Descrizione fisica 486 p. : ill. ; 24 cm
Disciplina 004
004.35
Collana Logic programming
Soggetto topico Programmazione logica
Elaborazione parallela dei dati
ISBN 0262200872
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-UBO3021371
Tick, Evan <1959- >  
Cambridge (Mass.) ; London, : MIT press, c1991
Materiale a stampa
Lo trovi qui: Univ. del Sannio
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 - Linguaggio Prolog
Programmazione logica
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