IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

FERRARI, MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 413
NA - Nord America 207
AS - Asia 115
SA - Sud America 2
AF - Africa 1
Totale 738
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 204
IT - Italia 145
GB - Regno Unito 119
SE - Svezia 45
CN - Cina 42
SG - Singapore 22
DE - Germania 20
IE - Irlanda 17
RU - Federazione Russa 17
TR - Turchia 13
UA - Ucraina 13
VN - Vietnam 12
IN - India 11
BE - Belgio 8
CH - Svizzera 8
KR - Corea 8
FR - Francia 5
EU - Europa 4
FI - Finlandia 4
NL - Olanda 4
CA - Canada 3
ID - Indonesia 3
BG - Bulgaria 2
CO - Colombia 2
HK - Hong Kong 2
LT - Lituania 2
AT - Austria 1
CZ - Repubblica Ceca 1
ES - Italia 1
LI - Liechtenstein 1
PH - Filippine 1
PK - Pakistan 1
SC - Seychelles 1
Totale 742
Salva come PNG Salva come JPEG
Città #
Southend 109
Chandler 48
Milan 40
Ann Arbor 21
Singapore 20
Dublin 17
Wilmington 15
Princeton 14
Istanbul 10
Jacksonville 10
Redmond 10
Seattle 9
Beijing 8
Brussels 8
Des Moines 7
Serra 6
Shanghai 6
Brescia 5
Mountain View 5
Palermo 5
Rome 5
Woodbridge 5
Andover 4
Berlin 4
Cambridge 4
Chaoyang 4
Dong Ket 4
Medford 4
Nanjing 4
Pisa 4
Turin 4
Bisceglie 3
Fairfield 3
Jakarta 3
Zurich 3
Ashburn 2
Bengaluru 2
Bogotá 2
Bühl 2
Castiglione Del Lago 2
Florence 2
Genoa 2
Houston 2
Pedara 2
Phoenix 2
Rezzato 2
Rho 2
Sakarya 2
San Diego 2
Seoul 2
Sofia 2
Somerville 2
Tianjin 2
Toronto 2
Trento 2
Venice 2
Vilnius 2
Agawam 1
Aiken 1
Amsterdam 1
Bari 1
Biella 1
Bradford 1
Bussoleno 1
Canicattì 1
Capraia 1
Cassano D'adda 1
Castagneto Po 1
Chieri 1
Cisano Bergamasco 1
Cremona 1
Elk Grove Village 1
Fara Gera D'adda 1
Fort Lauderdale 1
Frankfurt am Main 1
Geneva 1
Guangzhou 1
Hamilton 1
Hamm 1
Hangzhou 1
Helsinki 1
Jinhua 1
Kiez 1
Kunming 1
Lahore 1
Los Angeles 1
Madrid 1
Mahé 1
Manila 1
Modugno 1
Monza 1
Moscow 1
Munich 1
Nanchang 1
Naples 1
Napoli 1
New Orleans 1
Newark 1
Palaiseau 1
Pavia 1
Totale 518
Salva come PNG Salva come JPEG
Nome #
Dai fondamenti agli oggetti : corso di programmazione Java. - Seconda Edizione 204
Dai fondamenti agli oggetti : corso di programmazione Java 132
On Uniformly Constructive and Semiconstructive Formal Systems 101
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 81
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms 77
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic 75
A forward internal calculus for model generation in S4 66
SAT-Based Proof Search in Intermediate Propositional Logics 24
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property 14
null 1
Totale 775
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.637
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.637
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202035 0 0 0 1 2 1 6 2 6 7 4 6
2020/2021117 8 6 6 2 16 8 8 6 11 21 12 13
2021/2022132 6 8 7 11 14 10 7 4 9 10 10 36
2022/2023136 22 22 16 8 18 23 4 5 7 4 4 3
2023/202460 5 7 5 2 4 7 6 1 5 1 9 8
2024/202555 12 28 9 6 0 0 0 0 0 0 0 0
Totale 775