Bicocca Open Archive

Logo unimib boa
MOSCATO, UGO EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.149
NA - Nord America 2.753
AS - Asia 1.384
SA - Sud America 161
AF - Africa 39
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.490
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.590
IT - Italia 1.936
SG - Singapore 496
CN - Cina 349
DE - Germania 263
VN - Vietnam 186
SE - Svezia 177
RU - Federazione Russa 148
HK - Hong Kong 145
CA - Canada 143
UA - Ucraina 133
BR - Brasile 122
NL - Olanda 96
GB - Regno Unito 91
IE - Irlanda 71
FR - Francia 58
IN - India 38
KR - Corea 38
DK - Danimarca 31
CH - Svizzera 28
FI - Finlandia 27
BD - Bangladesh 20
TR - Turchia 19
BE - Belgio 17
JP - Giappone 15
PL - Polonia 15
CO - Colombia 14
AT - Austria 13
MX - Messico 13
ES - Italia 12
IQ - Iraq 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
JM - Giamaica 3
PY - Paraguay 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
CL - Cile 2
EG - Egitto 2
GR - Grecia 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.490
Salva come PNG Salva come JPEG
Città #
Ann Arbor 619
Milan 321
Singapore 273
Ashburn 231
Frankfurt am Main 211
Rome 171
Chandler 145
Houston 145
Hong Kong 142
Wilmington 140
Woodbridge 129
Jacksonville 116
Toronto 104
San Jose 101
Fairfield 69
Dublin 68
Dearborn 67
New York 67
Santa Clara 62
Nanjing 55
Turin 50
Hefei 46
The Dalles 42
Los Angeles 38
Princeton 38
Seoul 38
Bologna 36
Ho Chi Minh City 34
Palermo 32
Shanghai 32
Hanoi 28
Naples 28
Seattle 28
Cambridge 25
Chicago 25
Genoa 24
Beijing 23
Dallas 23
Florence 22
Nanchang 22
Lachine 18
Bari 17
Lauterbourg 17
Verona 17
Brescia 15
Brussels 15
Philadelphia 15
Bergamo 14
Buffalo 14
São Paulo 14
Tokyo 14
Council Bluffs 13
Hebei 13
Salerno 13
Boardman 12
Guangzhou 12
Kunming 12
Pisa 12
Andover 10
Fremont 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
Siena 7
Casavatore 6
Cinisello Balsamo 6
Da Nang 6
Denver 6
Figino 6
Johannesburg 6
Magenta 6
Mumbai 6
Ningbo 6
San Diego 6
Tukwila 6
Vicenza 6
Altamura 5
Ascoli Piceno 5
Baghdad 5
Catania 5
Como 5
Edmonton 5
Foggia 5
Totale 4.421
Salva come PNG Salva come JPEG
Nome #
Calculemus? Da Leibniz all'intelligenza artificiale 1.503
Visual Basic for Applications con Microsoft Excel 643
Informatica Generale 633
Riflessioni sulla prova informatica 495
Teoria della dimostrazione intuizionista e dimostrazione automatica 463
Optimization techniques for intuitionistic propositional logic and their implementation 427
A tableau calculus for Dummett predicate logic 359
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 344
Improvements to the tableau prover PITP 307
A space efficient implementation of a tableau calculus for a logic with a constructive negation 304
ESBC: an application for computing stabilization bounds 289
A tableau decision procedure for propositional intuitionistic logic 273
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 252
How to avoid the formal verification of a theorem prover 245
ESBC: an application for computing stabilization bouns 244
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 239
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 226
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 217
Tactics for translation of tableau in natural deduction 210
Totale 7.673
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.049
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 18.049
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021109 0 0 0 0 0 0 0 0 0 0 0 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/20262.035 214 129 167 196 191 127 252 112 213 162 175 97
Totale 7.673