A multimodal logic to define modules in logic programming
1993-01-01 M., Baldoni; Giordano, Laura; A., Martelli
A Modal Extension of Logic Programming
1994-01-01 M., Baldoni; Giordano, Laura; A., Martelli
A Framework for Modal Logic Programming
1996-01-01 M., Baldoni; Giordano, Laura; A., Martelli
Translating a modal language with embedded implication into Horn clauses logic
1996-01-01 M., Baldoni; Giordano, Laura; A., Martelli
Parallel Architectures with Regular Structure: A Case Study in Modelling using Stochastic Well-formed Petri nets
1993-01-01 Anglano, Cosimo Filomeno; Donatelli, S.; Gaeta, R.
EFFECT OF THE NEW ANAESTHETIC PROPOFOL ON THE GABA RECEPTOR IN CHICK SENSORY NEURONS
1991-01-01 Magnelli, Valeria; Nobile, M.; Maestrone, E.; Magnelli, V.
Comparison of a cream and of a microemulsion containing azelaic acid in the therapy of lentigo maligna
1996-01-01 Colonna, S; Bernengo, M. G.; Pattarino, Franco; Gasco, M. R.
Optimization of water-in-silicone oil emulsions and study of the quantitative relationships between ester structure and emulsion properties
1991-01-01 Carlotti, M. E.; Carpignano, R; Gasco, M. R.; Pattarino, Franco
Studio topografico di geminati del gesso
1991-01-01 Rinaudo, Caterina; Franchini Angela, M; Zarka, A.
Sistema brushite- gesso: caratterizzazione delle fasi precipitate
1996-01-01 Lanfranco, Am; Rinaudo, Caterina; Franchini Angela, M.
Construction of quantum groups and the Yang-Baxter equation with spectral parameter. Symmetries in science, VI
1993-01-01 COTTA RAMUSINO, P; Lambe, L; Rinaldi, Maurizio
Disostosi cleido-cranica: revisione della letteratura e presentazione di un caso clinico
1996-01-01 Mortellaro, Carmen; Fornaseri, C; CARBONE VGIANGRANDI, D; Giordano, M.
Integrating Abductive Reasoning and Probabilistic Temporal Prediction in Diagnostic Problem Solving
1993-01-01 Portinale, Luigi; Torasso, P; Rigallo, A.
SME - Società Meridionale Finanziaria
1993-01-01 Songini, Lucrezia
Ruolo del setto nasale nell'intervento di espansione chirurgica del palato
1996-01-01 Mortellaro, Carmen; Fornaseri, C; Carbone, V; Vercellino, V.
Regione e politiche pubbliche: esperienze di ricerca in Piemonte
1991-01-01 Bulsei, Gian Luigi
Strategic Planning and Management Control Systems of Japanese Companies
1994-01-01 Songini, Lucrezia
Tecnologie dell’informazione, sistema amministrativo e attività amministrative: l’esperienza 3M
1995-01-01 Songini, Lucrezia
The Impact of Information Technology on Activities and Competences of Accountants
1996-01-01 Gnan, L; Songini, Lucrezia
Studio elettromiografico della muscolatura occlusale nei pazienti affetti da disturbi cranio-mandibolari: aspetti neurofisiologici ed odontoiatri. La nostra esperienza
1996-01-01 Mortellaro, Carmen; Aguggia, M.
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...4710
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa17
- 2020 - 2026477
- 2010 - 20191541
- 2000 - 20091901
- 1990 - 1999595
- 1980 - 1989156
- 1970 - 197923
- 1969 - 19691
Editore
- Springer118
- IEEE46
- IEEE Computer Society43
- CEUR-WS34
- Springer Verlag30
- ACM25
- Springer-Verlag24
- IOS Press22
- Institute of Electrical and Elect...20
- CEUR-WS.org18
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE60
- LECTURE NOTES IN ARTIFICIAL INTEL...34
- BOLLETTINO-LEGA ITALIANA CONTRO L...29
- CEUR WORKSHOP PROCEEDINGS16
- ELECTRONIC PROCEEDINGS IN THEORET...13
- FORENSIC SCIENCE INTERNATIONAL: G...9
- POS PROCEEDINGS OF SCIENCE9
- PROCEEDINGS OF THE PME CONFERENCE9
- STUDIES IN HEALTH TECHNOLOGY AND ...9
- ELECTRONIC NOTES IN THEORETICAL C...8
Serie
- CEUR WORKSHOP PROCEEDINGS50
- LECTURE NOTES IN COMPUTER SCIENCE38
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- PROCEEDINGS OF THE AMERICAN ACADE...6
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- AIP CONFERENCE PROCEEDINGS4
- THEMATA4
- ACTA DIURNA3
- BIBLIOTECA DELLA SOCIETÀ STORICA ...3
- CONTRIBUTIONS TO STATISTICS3
Keyword
- Case-Based Reasoning21
- Computer Science (all)17
- Medical Informatics13
- Twitter13
- Synthetic aperture radar11
- Bayesian Networks10
- Dynamic Bayesian Networks10
- melanoma10
- Software10
- monasteri9
Lingua
- eng2461
- ita1370
- fre80
- spa35
- ger24
- rus9
- lat8
- und5
- cat3
- por2
Accesso al fulltext
- no fulltext3713
- reserved513
- open267
- restricted210
- partially open8