Bicocca Open Archive

Logo unimib boa
MOSCATO, UGO EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.065
NA - Nord America 2.614
AS - Asia 1.378
SA - Sud America 161
AF - Africa 39
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.261
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.548
IT - Italia 1.853
SG - Singapore 496
CN - Cina 348
DE - Germania 263
VN - Vietnam 186
SE - Svezia 177
RU - Federazione Russa 148
HK - Hong Kong 145
UA - Ucraina 133
BR - Brasile 122
NL - Olanda 96
GB - Regno Unito 91
IE - Irlanda 71
FR - Francia 58
CA - Canada 48
IN - India 38
KR - Corea 38
DK - Danimarca 31
CH - Svizzera 28
FI - Finlandia 27
TR - Turchia 19
BE - Belgio 17
BD - Bangladesh 15
JP - Giappone 15
CO - Colombia 14
PL - Polonia 14
AT - Austria 13
ES - Italia 12
IQ - Iraq 12
MX - Messico 12
ZA - Sudafrica 12
IR - Iran 11
AR - Argentina 10
UZ - Uzbekistan 10
MA - Marocco 9
CZ - Repubblica Ceca 8
MY - Malesia 6
SA - Arabia Saudita 6
EC - Ecuador 5
KE - Kenya 5
PH - Filippine 5
PT - Portogallo 5
ID - Indonesia 4
PK - Pakistan 4
RO - Romania 4
AU - Australia 3
IL - Israele 3
PY - Paraguay 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
CL - Cile 2
EG - Egitto 2
GR - Grecia 2
JM - Giamaica 2
JO - Giordania 2
LT - Lituania 2
ME - Montenegro 2
OM - Oman 2
PE - Perù 2
SC - Seychelles 2
SM - San Marino 2
SN - Senegal 2
TW - Taiwan 2
AL - Albania 1
AO - Angola 1
AZ - Azerbaigian 1
BH - Bahrain 1
BY - Bielorussia 1
CM - Camerun 1
CU - Cuba 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
ET - Etiopia 1
EU - Europa 1
HN - Honduras 1
HU - Ungheria 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LY - Libia 1
MM - Myanmar 1
MT - Malta 1
MZ - Mozambico 1
NP - Nepal 1
PA - Panama 1
RS - Serbia 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TN - Tunisia 1
Totale 7.261
Salva come PNG Salva come JPEG
Città #
Ann Arbor 619
Milan 301
Singapore 273
Ashburn 227
Frankfurt am Main 211
Rome 157
Chandler 145
Houston 145
Hong Kong 142
Wilmington 140
Woodbridge 129
Jacksonville 116
San Jose 99
Fairfield 69
Dublin 68
Dearborn 67
New York 65
Santa Clara 61
Nanjing 55
Turin 48
Hefei 46
The Dalles 42
Princeton 38
Seoul 38
Ho Chi Minh City 34
Los Angeles 34
Bologna 32
Palermo 32
Shanghai 32
Hanoi 28
Seattle 28
Naples 27
Cambridge 25
Chicago 25
Genoa 24
Dallas 23
Beijing 22
Nanchang 22
Florence 20
Lachine 18
Bari 17
Lauterbourg 17
Verona 17
Brussels 15
Philadelphia 15
Bergamo 14
São Paulo 14
Tokyo 14
Buffalo 13
Council Bluffs 13
Hebei 13
Salerno 13
Boardman 12
Guangzhou 12
Kunming 12
Pisa 12
Andover 10
Brescia 10
Fremont 10
Toronto 10
Vienna 10
Cosenza 9
Modena 9
Rotterdam 9
Treviso 9
Busto Arsizio 8
Cagliari 8
Cattolica 8
Dong Ket 8
Hangzhou 8
Parma 8
Perugia 8
Tashkent 8
Zurich 8
Helsinki 7
Montreal 7
Monza 7
Moscow 7
Padova 7
Sacile 7
Casavatore 6
Cinisello Balsamo 6
Da Nang 6
Denver 6
Johannesburg 6
Magenta 6
Mumbai 6
Ningbo 6
San Diego 6
Siena 6
Vicenza 6
Altamura 5
Ascoli Piceno 5
Baghdad 5
Como 5
Edmonton 5
Foggia 5
Foligno 5
Jinan 5
Kiev 5
Totale 4.261
Salva come PNG Salva come JPEG
Nome #
Calculemus? Da Leibniz all'intelligenza artificiale 1.461
Visual Basic for Applications con Microsoft Excel 635
Informatica Generale 624
Riflessioni sulla prova informatica 486
Teoria della dimostrazione intuizionista e dimostrazione automatica 440
Optimization techniques for intuitionistic propositional logic and their implementation 420
A tableau calculus for Dummett predicate logic 352
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 333
A space efficient implementation of a tableau calculus for a logic with a constructive negation 293
Improvements to the tableau prover PITP 292
ESBC: an application for computing stabilization bounds 282
A tableau decision procedure for propositional intuitionistic logic 265
How to avoid the formal verification of a theorem prover 238
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 237
ESBC: an application for computing stabilization bouns 232
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 230
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 218
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 210
Tactics for translation of tableau in natural deduction 196
Totale 7.444
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.315
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 17.315
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021166 0 0 0 0 0 0 0 0 0 0 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/20261.806 214 129 167 196 191 127 252 112 213 162 43 0
Totale 7.444