| Vai direttamente ai contenuti della pagina |

Torna alle ricerche nel catalogo
OPAC - Catalogo Unico Pavese
Le ricerche
Utilità

Risultati ricerca

Espressione di ricerca: ((AREA=SCI) OR (AREA=MED) OR (AREA=ESG) OR (AREA=UMA)) AND (LO=AI5$) Risultato ricerca: 71 Lunghezza lista: 30 Ordinamento: Data (decrescente), Autore, Titolo
Seleziona uno o più documenti

 

1/71  

Ateneo. Scienza e Tecnica: Ingegneria AI5 00065

3/71  
6/71  

Ateneo. Scienza e Tecnica: Ingegneria AI5 00058 0

7/71  
Hájek, Petr . Metamathematics of fuzzy logic / Petr Hajek. - Dordrecht ; Boston ; London : Kluwer Academic, 1998. - VIII, 297 p. ; 24 cm.. - (Trends in logic : Studia logica library ; 4)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Ingegneria AI5 00055 0

Ateneo. Scienza e Tecnica: Matematica E.1 /i/7

8/71  
Cammarata, Silvio . Sistemi a logica fuzzy : come rendere intelligenti le macchine / Silvio Cammarata. - 2. ed. rinnovata e aggiornata. - [Milano] : ETAS libri, 1997. - VIII, 211 p. ; 24 cm. - (Informatica)
Classificazione: 006.33 [D] [INTELLIGENZA ARTIFICIALE. SISTEMI FONDATI SULLA RAPPRESENTAZIONE DELLA CONOSCENZA]

Ateneo. Scienza e Tecnica: Ingegneria AI5 00059 0

Ateneo. Economia: 278 00028

9/71  
Handbook of logic and language / edited by Johan van Benthem, Alice ter Meulen. - Amsterdam [etc.] : Elsevier ; Cambridge (MA) : The MIT press, 1997. - XXIII, 1247 p. ; 25 cm.
Classificazione: 401.51 [D] [LINGUAGGIO. PRINCIPI MATEMATICI] | 401.51 [D] [LINGUAGGIO. PRINCIPI MATEMATICI]

Ateneo. Scienza e Tecnica: Ingegneria AI5 00063 0

10/71  
Hodges, Wilfrid . A shorter model theory / Wilfrid Hodges. - Cambridge : Cambridge university press, 1997. - X, 310 p. ; 23 cm.
Classificazione: 511.8 [D] [MODELLI MATEMATICI (SIMULAZIONE MATEMATICA)]

Ateneo. Scienza e Tecnica: Ingegneria AI5 00056 0

13/71  
14/71  
17/71  
Wygralak, Maciej . Vaguely defined objects : representations, fuzzy sets and nonclassical cardinality theory / Maciej Wygralak. - Dordrecht [etc.] : Kluwer, c1996. - XIV, 265 p. ; 25 cm.. - (Theory and decision library. Ser. B, Mathematical and statistical methods ; 33 )

Ateneo. Scienza e Tecnica: Ingegneria AI5 00042 0

18/71  

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia FIL.TEOR. F.S.E.III 844

Ateneo. Scienza e Tecnica: Ingegneria AI5 00039 0

24/71  
Kuipers, Benjamin . Qualitative reasoning : modeling and simulation with incomplete knowledge / Benjamin Kuipers. - Cambridge, MA \etc.! : MIT, \1994!. - XXIX, 418 p. ; 24 cm
Classificazione: 006.33 [D] [Sistemi fondati sulla rappresentazione della conoscenza]

Ateneo. Scienza e Tecnica: Ingegneria AI5 00036 0

26/71  
1: Logical foundations ; volume co-ordinator J. Siekmann. - Oxford : Clarendon press, 1993. - XIII, 518 p. ; 25 cm.
Fa parte di: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson
Classificazione: 006.3 [D] [INTELLIGENZA ARTIFICIALE]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia FIL.TEOR. F.S.E. III 803.1.

Ateneo. Scienza e Tecnica: Ingegneria AI5 00033 1

28/71  
Advanced topics in artificial intelligence : international Summer school : Prague, Czechoslovakia, July 6-17, 1992 : proceedings / V. Mařík, O. Štěpánková, R. Trappl (eds.). - Berlin [etc.] : Springer, c1992. - IX, 484 p. : ill. ; 25 cm. - (Lecture notes in computer science. Lecture notes in artificial intelligence ; 617) (Lecture notes in artificial intelligence ; 617)

Ateneo. Scienza e Tecnica: Ingegneria AI5 00026 0

29/71  
International conference on logic programming and automated reasoning [3. ; San Pietroburgo ; 1992] . Logic programming and automated reasoning : international conference LPAR '92 : St. Petersburg, Russia, July 1992 : proceedings / A. Voronkov (ed.). - Berlin [etc.] : Springer, c1992. - XIV, 509 p. ; 25 cm.. - (Lecture notes in computer science. Lecture notes in artificial intelligence ; 624) (Lecture notes in artificial intelligence ; 624)
Classificazione: 005.131 [D] [LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)]

Ateneo. Scienza e Tecnica: Ingegneria AI5 00027 0

 

Seleziona uno o più documenti

 

Tempo di elaborazione: inferiore a 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 21-09-2017 05:12:03 - Schede in OPAC:  1800967
EasyWeb Five © 5.6.3 - 1994-2017 è un prodotto Nexus IT

Valid XHTML 1.0 Strict | Valid CSS!| Validazione WAI-AAA WCAG 1.0