MOSCATO, UGO EMANUELE
 Distribuzione geografica
Continente #
EU - Europa 2.602
NA - Nord America 2.081
AS - Asia 496
SA - Sud America 32
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.223
Nazione #
US - Stati Uniti d'America 2.041
IT - Italia 1.523
DE - Germania 251
CN - Cina 198
SE - Svezia 173
SG - Singapore 161
RU - Federazione Russa 145
UA - Ucraina 130
IE - Irlanda 71
NL - Olanda 68
GB - Regno Unito 66
VN - Vietnam 57
HK - Hong Kong 48
FR - Francia 36
CA - Canada 34
DK - Danimarca 30
BR - Brasile 29
CH - Svizzera 24
FI - Finlandia 22
BE - Belgio 17
AT - Austria 11
IR - Iran 10
TR - Turchia 10
CZ - Repubblica Ceca 7
ES - Italia 7
IN - India 6
PL - Polonia 6
MX - Messico 4
MA - Marocco 3
PT - Portogallo 3
RO - Romania 3
ZA - Sudafrica 3
CO - Colombia 2
EG - Egitto 2
GR - Grecia 2
JP - Giappone 2
SC - Seychelles 2
SM - San Marino 2
AL - Albania 1
BG - Bulgaria 1
CM - Camerun 1
CU - Cuba 1
EC - Ecuador 1
EU - Europa 1
HN - Honduras 1
ID - Indonesia 1
LA - Repubblica Popolare Democratica del Laos 1
ME - Montenegro 1
MT - Malta 1
PH - Filippine 1
RS - Serbia 1
UZ - Uzbekistan 1
Totale 5.223
Città #
Ann Arbor 619
Milan 266
Frankfurt am Main 204
Chandler 145
Houston 144
Wilmington 140
Woodbridge 129
Rome 117
Jacksonville 116
Singapore 116
Ashburn 89
Fairfield 69
Dublin 68
Dearborn 67
Santa Clara 60
Nanjing 53
Hong Kong 48
New York 46
Turin 42
Princeton 38
Shanghai 32
Palermo 26
Seattle 26
Cambridge 25
Nanchang 22
Naples 22
Bologna 21
Genoa 21
Lachine 18
Brussels 15
Bari 14
Florence 13
Hebei 13
Philadelphia 13
Salerno 13
Verona 13
Bergamo 12
Boardman 12
Kunming 12
Pisa 12
Dallas 11
Guangzhou 11
Andover 10
Beijing 10
Brescia 10
Fremont 10
Rotterdam 9
Treviso 9
Busto Arsizio 8
Cagliari 8
Cattolica 8
Council Bluffs 8
Dong Ket 8
Parma 8
Vienna 8
Hangzhou 7
Los Angeles 7
Moscow 7
Padova 7
Perugia 7
Toronto 7
Casavatore 6
Cinisello Balsamo 6
Monza 6
Ningbo 6
Vicenza 6
Zurich 6
Altamura 5
Como 5
Cosenza 5
Edmonton 5
Foligno 5
Kiev 5
Lawrence 5
Longare 5
Madrid 5
Modena 5
Nardò 5
Norwalk 5
Shenyang 5
Torino 5
University Park 5
Washington 5
Abbiategrasso 4
Bronte 4
Foggia 4
Genova 4
Groningen 4
Kocaeli 4
León 4
Locarno 4
Lodi 4
Magenta 4
Mainz 4
Oleggio 4
Olomouc 4
Orta di Atella 4
Ottawa 4
Pontassieve 4
San Diego 4
Totale 3.293
Nome #
Calculemus? Da Leibniz all'intelligenza artificiale 1.060
Informatica Generale 556
Visual Basic for Applications con Microsoft Excel 544
Riflessioni sulla prova informatica 395
Teoria della dimostrazione intuizionista e dimostrazione automatica 344
Optimization techniques for intuitionistic propositional logic and their implementation 313
A tableau calculus for Dummett predicate logic 228
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 217
A space efficient implementation of a tableau calculus for a logic with a constructive negation 187
ESBC: an application for computing stabilization bounds 186
How to avoid the formal verification of a theorem prover 177
Improvements to the tableau prover PITP 175
A tableau decision procedure for propositional intuitionistic logic 164
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 162
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 161
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 148
ESBC: an application for computing stabilization bouns 138
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 131
Tactics for translation of tableau in natural deduction 120
Totale 5.406
Categoria #
all - tutte 12.956
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 12.956


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202073 0 0 0 0 0 0 0 0 0 0 58 15
2020/2021736 39 13 65 69 65 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/2025881 65 116 60 56 95 85 40 102 58 147 57 0
Totale 5.406