MOSCATO, UGO EMANUELE
 Distribuzione geografica
Continente #
EU - Europa 2.298
NA - Nord America 2.009
AS - Asia 410
AF - Africa 8
SA - Sud America 7
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.733
Nazione #
US - Stati Uniti d'America 1.974
IT - Italia 1.364
DE - Germania 244
CN - Cina 197
SE - Svezia 172
UA - Ucraina 128
SG - Singapore 95
IE - Irlanda 71
GB - Regno Unito 66
RU - Federazione Russa 60
VN - Vietnam 57
CA - Canada 34
FR - Francia 33
HK - Hong Kong 32
NL - Olanda 32
DK - Danimarca 30
CH - Svizzera 23
FI - Finlandia 21
BE - Belgio 16
AT - Austria 11
IR - Iran 10
TR - Turchia 10
BR - Brasile 7
CZ - Repubblica Ceca 7
IN - India 6
PL - Polonia 5
MA - Marocco 3
PT - Portogallo 3
RO - Romania 3
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
EU - Europa 1
ID - Indonesia 1
ME - Montenegro 1
MT - Malta 1
RS - Serbia 1
Totale 4.733
Città #
Ann Arbor 619
Milan 255
Frankfurt am Main 204
Chandler 145
Houston 144
Wilmington 140
Woodbridge 129
Jacksonville 116
Rome 96
Ashburn 85
Singapore 82
Fairfield 69
Dublin 68
Dearborn 67
Nanjing 53
New York 46
Santa Clara 41
Princeton 38
Turin 38
Hong Kong 32
Shanghai 32
Seattle 26
Cambridge 25
Nanchang 22
Genoa 21
Palermo 21
Lachine 18
Naples 18
Brussels 15
Bologna 13
Hebei 13
Philadelphia 13
Salerno 13
Bari 12
Bergamo 12
Kunming 12
Pisa 12
Dallas 11
Florence 11
Andover 10
Beijing 10
Boardman 10
Brescia 10
Fremont 10
Guangzhou 10
Rotterdam 9
Treviso 9
Busto Arsizio 8
Cagliari 8
Cattolica 8
Dong Ket 8
Vienna 8
Hangzhou 7
Parma 7
Perugia 7
Toronto 7
Verona 7
Casavatore 6
Los Angeles 6
Ningbo 6
Vicenza 6
Zurich 6
Altamura 5
Como 5
Cosenza 5
Edmonton 5
Foligno 5
Kiev 5
Lawrence 5
Longare 5
Modena 5
Nardò 5
Norwalk 5
Shenyang 5
Torino 5
University Park 5
Washington 5
Abbiategrasso 4
Bronte 4
Cinisello Balsamo 4
Foggia 4
Genova 4
Groningen 4
Kocaeli 4
Locarno 4
Lodi 4
Magenta 4
Mainz 4
Monza 4
Oleggio 4
Olomouc 4
Ottawa 4
Padova 4
Pontassieve 4
San Diego 4
Siena 4
Teresópolis 4
Tianjin 4
Afragola 3
Auburn Hills 3
Totale 3.135
Nome #
Calculemus? Da Leibniz all'intelligenza artificiale 844
Informatica Generale 537
Visual Basic for Applications con Microsoft Excel 530
Riflessioni sulla prova informatica 377
Teoria della dimostrazione intuizionista e dimostrazione automatica 334
Optimization techniques for intuitionistic propositional logic and their implementation 295
A tableau calculus for Dummett predicate logic 193
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 191
ESBC: an application for computing stabilization bounds 172
A space efficient implementation of a tableau calculus for a logic with a constructive negation 168
How to avoid the formal verification of a theorem prover 165
Improvements to the tableau prover PITP 162
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 152
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 150
A tableau decision procedure for propositional intuitionistic logic 150
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 138
ESBC: an application for computing stabilization bouns 125
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 123
Tactics for translation of tableau in natural deduction 110
Totale 4.916
Categoria #
all - tutte 11.088
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 11.088


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020477 0 0 0 0 62 93 101 39 68 41 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/2025391 65 116 60 56 94 0 0 0 0 0 0 0
Totale 4.916