IRIS
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.

cerca in
Risultati 11 - 20 di 586 (tempo di esecuzione: 0.135 secondi).
Titolo Data di pubblicazione Autore(i) File
A complete 3-D Lagrangian particle model to simulate the dispersion of non-reacting pollutants over complex terrain 1-gen-1993 G., Tinarelli; D., Anfossi; G., Brusasca; Ferrero, Enrico; M. G., Morselli; J., Moussafir
A Complete Type Inference Algorithm for Simple Intersection Types 1-gen-1992 M., Coppo; Giannini, Paola
A conditional logic for belief revision 1-gen-1998 V., Gliozzi; Giordano, Laura; N., Olivetti
A Decidable Intersection Type System based on Relevance 1-gen-1994 F., Damiani; Giannini, Paola
A Framework for Modal Logic Programming 1-gen-1996 M., Baldoni; Giordano, Laura; A., Martelli
A knowledge-based web server as a development environment for web-based knowledge servers 1-gen-1998 A., Riva; R., Bellazzi; Montani, Stefania
A membrane glycoprotein identified by the monoclonal antibody BD31 is a component of cell-cell junctions of normal and transformed epithelia. Eur J Cell Biol, 55 (Suppl 35): 54, 1991 1-gen-1991 Rabino, M; Trusolino, L; Cremona, O; Savoia, Paola; Prat, M; Marchisio, Pc
A Modal Extension of Logic Programming 1-gen-1994 M., Baldoni; Giordano, Laura; A., Martelli
A modal framework for structuring logic programs 1-gen-1992 Giordano, Laura; Martelli, A.
A MODAL RECONSTRUCTION OF BLOCKS AND MODULES IN LOGIC PROGRAMMING 1-gen-1991 Giordano, Laura; A., Martelli
Risultati 11 - 20 di 586 (tempo di esecuzione: 0.135 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ... 586
  • 4 Contributo in Atti di Convegno ... 586
Autore
  • MORTELLARO, Carmen 59
  • PORTINALE, Luigi 34
  • SAVOIA, Paola 29
  • CANTINO, Gisella 23
  • GIORDANO, Laura 19
  • ANGLANO, Cosimo Filomeno 18
  • CANTELLO, Roberto 18
  • BENECH, Arnaldo 16
  • PATTARINO, Franco 16
  • CARLINI, ALBERTO 15
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