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)
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 Intelligenza artificiale
Sistema esperto
Programmazione logica
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, functions, relations and equations / Doug DeGroot, Gary Lindstrom
Logic programming, functions, relations and equations / Doug DeGroot, Gary Lindstrom
Autore De Groot, Doug
Pubbl/distr/stampa Englewood Cliffs (N.J.), : Prentice Hall, c1986
Descrizione fisica VII, 533 p. ; 24 cm.
Disciplina 005.1
Altri autori (Persone) Lindstrom, Gary
Soggetto topico Elaboratori elettronici - Programmazione
Programmazione logica
ISBN 0135399580
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-AQ10003380
De Groot, Doug  
Englewood Cliffs (N.J.), : Prentice Hall, c1986
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
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
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 parallela
Programmazione logica
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
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
Types in logic programming / edited by Frank Pfenning
Types in logic programming / edited by Frank Pfenning
Pubbl/distr/stampa Cambridge (Mass.), : The MIT press, ©1992
Descrizione fisica XVIII, 357 p. ; 24 cm
Disciplina 005.1
005.115
Collana Logic programming
Soggetto topico Programmazione logica
Elaboratori elettronici - Programmazione
ISBN 0262161311
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-RMS1740935
Cambridge (Mass.), : The MIT press, ©1992
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui