RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A multimodal logic to define modules in logic programming
1993-01-01 M., Baldoni; Giordano, Laura; A., Martelli
A Network Genetic Algorithm for Concept Learning
1997-01-01 Anglano, Cosimo Filomeno; Giordana, A.; LO BELLO, G.; Saitta, L.
A novel nuclear factor binds to the NF-kappaB motif in the Interleukin-2 enhancer
1992-01-01 S. M., Kang; Grilli, Mariagrazia; A. C., Tran; M. J., Lenardo
A semantics for Eshghi and Kowalski’s abductive procedure
1993-01-01 Giordano, Laura; A., Martelli; M. L., Sapino
A special mixed finite element for the numerical approximation of cylindrical shells
1998-01-01 Chinosi, Claudia; DELLA CROCE, L; Scapolla, T.
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results.
1998-01-01 M., Baldoni; Giordano, Laura; A., Martelli
A two degree-of-freedom quasistatic frictional contact problem with instantaneous jumps
1992-01-01 Gastaldi, Fabio; Martins, J. A. C.; Monteiro Marques, M. D. P.; Simoes, F. M. F.
A web-based system for diabetes management: technical and clinical infastructure
1998-01-01 R., Bellazzi; A., Riva; Montani, Stefania; C., Larizza; S., Fiocchi; G., D'Annunzio; R., Lorini; A., Monteforte; M., Stefanelli
A world eco-fund for the regulation of the international environmental system
1990-01-01 Adamo, Francesco
A worldline approach to quantum gravity
1997-01-01 Carlini, Alberto; Greensite, J.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A multimodal logic to define modules in logic programming | 1-gen-1993 | M., Baldoni; Giordano, Laura; A., Martelli | |
A Network Genetic Algorithm for Concept Learning | 1-gen-1997 | Anglano, Cosimo Filomeno; Giordana, A.; LO BELLO, G.; Saitta, L. | |
A novel nuclear factor binds to the NF-kappaB motif in the Interleukin-2 enhancer | 1-gen-1992 | S. M., Kang; Grilli, Mariagrazia; A. C., Tran; M. J., Lenardo | |
A semantics for Eshghi and Kowalski’s abductive procedure | 1-gen-1993 | Giordano, Laura; A., Martelli; M. L., Sapino | |
A special mixed finite element for the numerical approximation of cylindrical shells | 1-gen-1998 | Chinosi, Claudia; DELLA CROCE, L; Scapolla, T. | |
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results. | 1-gen-1998 | M., Baldoni; Giordano, Laura; A., Martelli | |
A two degree-of-freedom quasistatic frictional contact problem with instantaneous jumps | 1-gen-1992 | Gastaldi, Fabio; Martins, J. A. C.; Monteiro Marques, M. D. P.; Simoes, F. M. F. | |
A web-based system for diabetes management: technical and clinical infastructure | 1-gen-1998 | R., Bellazzi; A., Riva; Montani, Stefania; C., Larizza; S., Fiocchi; G., D'Annunzio; R., Lorini; A., Monteforte; M., Stefanelli | |
A world eco-fund for the regulation of the international environmental system | 1-gen-1990 | Adamo, Francesco | |
A worldline approach to quantum gravity | 1-gen-1997 | Carlini, Alberto; Greensite, J. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 586
- 4 Contributo in Atti di Convegno ... 586
Data di pubblicazione
- 1999 110
- 1998 83
- 1997 97
- 1996 72
- 1995 46
- 1994 31
- 1993 42
- 1992 35
- 1991 39
- 1990 31
Editore
- Springer 23
- IEEE Press 6
- Plenum Press 6
- Springer-Verlag 6
- World Scientific 6
- IEEE Computer Society 5
- SIDEV 5
- Morgan Kaufmann 4
- Springer Verlag 4
- AAAI Press 3
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 23
- BOLLETTINO-LEGA ITALIANA CONTRO L... 14
- LECTURE NOTES IN ARTIFICIAL INTEL... 10
- JOURNAL OF INVESTIGATIVE DERMATOLOGY 5
- EUROPEAN JOURNAL OF PHARMACEUTICS... 3
- CONTEMPORARY MATHEMATICS 2
- NUCLEAR PHYSICS B-PROCEEDINGS SUP... 2
- NUCLEAR PHYSICS. A 2
- BIOCHIMIE 1
- BULLETIN DE CORRESPONDANCE HELLÉN... 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 3
Keyword
- Case-Based Reasoning 11
- Medical Informatics 6
- Petri Nets 5
- Model-based Diagnosis 4
- Multi-modal Reasoning 4
- Temporal Reasoning 4
- Bayesian Networks 3
- Markov Chains 3
- T-invariant analysis 3
- Integrazione europea 2
Lingua
- eng 266
- ita 217
- fre 11
- ger 5
- spa 5
- cat 1
Accesso al fulltext
- no fulltext 556
- reserved 29
- restricted 1