IRIS Institutional Research Information System

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 61 - 70 di 70 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" 1-gen-2006 Armando, Alessandro; Basin, D.; Cuellar, J.; Rustinowitch, M.; Viganò, L.
Special Issue on "Combining Logical Systems" of the Information and Computation journal 1-gen-2006 Armando, Alessandro; Ringeissen, C.
Special Issue on Computational Creativity 1-gen-2009 S., Colton; R., Lopez de Mantaras; Stock, Oliviero
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation 1-gen-2001 Armando, Alessandro; Jabelean, T.
STAIRS 2006 - Proceedings of the Third Starting AI Researchers’ Symposium 1-gen-2006 Penserini, Loris; P., Peppas; Perini, Anna
Storia del Trentino, Vol. IV: L'età contemporanea. Il Novecento 1-gen-2005 Pombeni, Paolo
Suppliche al pontefice. Diocesi di Trento (1513-1565) 1-gen-2006 Nubola, Cecilia; Belloni, Maria Cristina
Suppliche e gravamina. Politica, amministrazione, giustizia negli Stati italiani e nel Sacro Romano Impero (secc. XIV-XVIII) 1-gen-2002 Nubola, Cecilia; A., Wuergler
The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009 1-gen-2009 Lora, Aroyo; Traverso, Paolo; Fabio, Ciravegna; Philipp, Cimiano; Tom, Heath; Eero, Hyvönen; Riichiro, Mizoguchi; Eyal, Oren; Marta, Sabou; Elena Paslaru Bontas, Simperl
Theology & Sexuality 1-gen-2009 Knauss, Stefanie
Risultati 61 - 70 di 70 (tempo di esecuzione: 0.009 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
  • 7 Curatele 70
  • 7 Curatele::7.1 Curatela 70
Autore
  • Armando, Alessandro 6
  • Costa, Paolo 6
  • Nubola, Cecilia 6
  • Stock, Oliviero 6
  • Traverso, Paolo 6
  • Zancanaro, Massimo 5
  • Catto, Michela 3
  • Cau, Maurizio 3
  • Cimatti, Alessandro 3
  • Ghidini, Chiara 3
Data di pubblicazione
  • 2009 18
  • 2008 11
  • 2007 7
  • 2006 12
  • 2005 9
  • 2004 7
  • 2003 2
  • 2002 1
  • 2001 2
  • 2000 1
Editore
  • Springer 9
  • Il Mulino 5
  • Feltrinelli 3
  • il Mulino 3
  • CEUR-WS.org 2
  • IOS Press 2
  • Meltemi 2
  • `Al. I. Cuza` University Publishi... 1
  • Clueb 1
  • CSLI Publications 1
Rivista
  • ELECTRONIC NOTES IN THEORETICAL C... 3
  • AI MAGAZINE 1
  • ANNALS OF MATHEMATICS AND OF ARTI... 1
  • AUTONOMOUS AGENTS AND MULTI-AGENT... 1
  • INFORMATION AND COMPUTATION 1
  • JOURNAL OF AUTOMATED REASONING 1
  • JOURNAL OF SYMBOLIC COMPUTATION 1
  • LA RÉVOLUTION FRANÇAISE 1
  • LABORATOIRE ITALIEN 1
  • LANGUAGE RESOURCES AND EVALUATION 1
Keyword
  • Germanistica 2
  • Letteratura tedesca 2
  • NLP 2
  • religione 2
  • Secolarizzazione 2
  • adaptation 1
  • antropologia filosofica 1
  • context 1
  • contexts 1
  • contextual reasoning 1
Lingua
  • eng 41
  • ita 23
  • ger 4
  • fre 3
Accesso al fulltext
  • no fulltext 70