Bicocca Open Archive

Logo unimib boa
MOSCATO, UGO EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.873
NA - Nord America 2.338
AS - Asia 1.032
SA - Sud America 134
AF - Africa 24
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.404
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.281
IT - Italia 1.722
SG - Singapore 384
CN - Cina 321
DE - Germania 257
SE - Svezia 176
RU - Federazione Russa 147
HK - Hong Kong 132
UA - Ucraina 132
BR - Brasile 112
VN - Vietnam 102
NL - Olanda 87
GB - Regno Unito 84
IE - Irlanda 71
CA - Canada 43
FR - Francia 39
DK - Danimarca 31
CH - Svizzera 25
KR - Corea 23
FI - Finlandia 22
BE - Belgio 17
AT - Austria 13
TR - Turchia 13
PL - Polonia 12
ES - Italia 11
IN - India 11
IR - Iran 11
ZA - Sudafrica 11
JP - Giappone 10
MX - Messico 10
CZ - Repubblica Ceca 8
AR - Argentina 7
BD - Bangladesh 7
CO - Colombia 7
KE - Kenya 4
EC - Ecuador 3
ID - Indonesia 3
IL - Israele 3
IQ - Iraq 3
MA - Marocco 3
PT - Portogallo 3
PY - Paraguay 3
RO - Romania 3
UZ - Uzbekistan 3
AU - Australia 2
BG - Bulgaria 2
EG - Egitto 2
GR - Grecia 2
LT - Lituania 2
SC - Seychelles 2
SM - San Marino 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
CM - Camerun 1
CU - Cuba 1
DO - Repubblica Dominicana 1
EU - Europa 1
HN - Honduras 1
HU - Ungheria 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
ME - Montenegro 1
MT - Malta 1
NP - Nepal 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
RS - Serbia 1
SN - Senegal 1
Totale 6.404
Salva come PNG Salva come JPEG
Città #
Ann Arbor 619
Milan 289
Singapore 213
Frankfurt am Main 206
Ashburn 184
Chandler 145
Houston 145
Wilmington 140
Rome 138
Hong Kong 132
Woodbridge 129
Jacksonville 116
Fairfield 69
Dublin 68
Dearborn 67
Santa Clara 61
Nanjing 55
New York 53
Turin 48
Hefei 46
Princeton 38
Shanghai 32
Palermo 30
Bologna 29
Los Angeles 29
Seattle 27
Cambridge 25
Seoul 23
Nanchang 22
Naples 22
Genoa 21
Beijing 20
Dallas 20
Lachine 18
Bari 15
Brussels 15
Ho Chi Minh City 15
Philadelphia 15
Verona 15
Bergamo 14
São Paulo 14
Buffalo 13
Florence 13
Hebei 13
Salerno 13
The Dalles 13
Boardman 12
Guangzhou 12
Kunming 12
Pisa 12
Andover 10
Brescia 10
Fremont 10
Vienna 10
Cosenza 9
Modena 9
Rotterdam 9
Tokyo 9
Treviso 9
Busto Arsizio 8
Cagliari 8
Cattolica 8
Council Bluffs 8
Dong Ket 8
Hangzhou 8
Parma 8
Toronto 8
Moscow 7
Padova 7
Perugia 7
Sacile 7
Casavatore 6
Cinisello Balsamo 6
Hanoi 6
Magenta 6
Monza 6
Ningbo 6
Vicenza 6
Zurich 6
Altamura 5
Como 5
Edmonton 5
Foligno 5
Johannesburg 5
Kiev 5
Lawrence 5
Longare 5
Madrid 5
Montreal 5
Munich 5
Nardò 5
Norwalk 5
Shenyang 5
Tianjin 5
Torino 5
University Park 5
Washington 5
Abbiategrasso 4
Bronte 4
Chennai 4
Totale 3.822
Salva come PNG Salva come JPEG
Nome #
Calculemus? Da Leibniz all'intelligenza artificiale 1.295
Informatica Generale 595
Visual Basic for Applications con Microsoft Excel 579
Riflessioni sulla prova informatica 442
Teoria della dimostrazione intuizionista e dimostrazione automatica 398
Optimization techniques for intuitionistic propositional logic and their implementation 375
A tableau calculus for Dummett predicate logic 317
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 286
Improvements to the tableau prover PITP 248
A space efficient implementation of a tableau calculus for a logic with a constructive negation 241
ESBC: an application for computing stabilization bounds 239
A tableau decision procedure for propositional intuitionistic logic 226
How to avoid the formal verification of a theorem prover 216
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 206
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 200
ESBC: an application for computing stabilization bouns 198
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 193
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 168
Tactics for translation of tableau in natural deduction 165
Totale 6.587
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.728
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 15.728
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021485 0 0 0 0 0 64 55 57 71 72 57 109
2021/2022477 51 51 58 64 20 52 21 35 38 23 25 39
2022/2023870 74 188 95 98 52 105 43 76 45 18 50 26
2023/2024685 25 22 55 67 53 110 95 50 40 55 56 57
2024/20251.113 65 116 60 56 95 85 40 102 58 147 106 183
2025/2026949 214 129 167 196 191 52 0 0 0 0 0 0
Totale 6.587