MOSCATO, UGO EMANUELE
 Distribuzione geografica
Continente #
EU - Europa 2.628
NA - Nord America 2.097
AS - Asia 501
SA - Sud America 32
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.270
Nazione #
US - Stati Uniti d'America 2.056
IT - Italia 1.543
DE - Germania 251
CN - Cina 201
SE - Svezia 173
SG - Singapore 161
RU - Federazione Russa 145
UA - Ucraina 130
IE - Irlanda 71
NL - Olanda 71
GB - Regno Unito 66
VN - Vietnam 57
HK - Hong Kong 48
FR - Francia 36
CA - Canada 35
DK - Danimarca 30
BR - Brasile 29
CH - Svizzera 24
FI - Finlandia 22
BE - Belgio 17
AT - Austria 13
IR - Iran 10
TR - Turchia 10
ES - Italia 8
CZ - Repubblica Ceca 7
IN - India 7
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
AE - Emirati Arabi Uniti 1
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.270
Città #
Ann Arbor 619
Milan 266
Frankfurt am Main 204
Chandler 145
Houston 144
Wilmington 140
Woodbridge 129
Rome 119
Jacksonville 116
Singapore 116
Ashburn 90
Fairfield 69
Dublin 68
Dearborn 67
Santa Clara 60
Nanjing 53
Hong Kong 48
New York 47
Turin 47
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
Vienna 10
Cosenza 9
Rotterdam 9
Treviso 9
Busto Arsizio 8
Cagliari 8
Cattolica 8
Council Bluffs 8
Dong Ket 8
Los Angeles 8
Parma 8
Hangzhou 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
Edmonton 5
Foligno 5
Hefei 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
Totale 3.310
Nome #
Calculemus? Da Leibniz all'intelligenza artificiale 1.081
Informatica Generale 558
Visual Basic for Applications con Microsoft Excel 545
Riflessioni sulla prova informatica 399
Teoria della dimostrazione intuizionista e dimostrazione automatica 348
Optimization techniques for intuitionistic propositional logic and their implementation 314
A tableau calculus for Dummett predicate logic 229
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 218
A space efficient implementation of a tableau calculus for a logic with a constructive negation 188
ESBC: an application for computing stabilization bounds 187
How to avoid the formal verification of a theorem prover 178
Improvements to the tableau prover PITP 176
A tableau decision procedure for propositional intuitionistic logic 165
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 163
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 162
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 149
ESBC: an application for computing stabilization bouns 140
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 132
Tactics for translation of tableau in natural deduction 121
Totale 5.453
Categoria #
all - tutte 13.143
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 13.143


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/2025928 65 116 60 56 95 85 40 102 58 147 104 0
Totale 5.453