MOSCATO, UGO EMANUELE
 Distribuzione geografica
Continente #
EU - Europa 1.998
NA - Nord America 1.913
AS - Asia 300
AF - Africa 8
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.223
Nazione #
US - Stati Uniti d'America 1.878
IT - Italia 1.139
DE - Germania 240
CN - Cina 184
SE - Svezia 172
UA - Ucraina 128
IE - Irlanda 71
GB - Regno Unito 64
VN - Vietnam 57
CA - Canada 34
FR - Francia 33
HK - Hong Kong 32
DK - Danimarca 30
CH - Svizzera 23
FI - Finlandia 21
BE - Belgio 16
RU - Federazione Russa 16
NL - Olanda 15
AT - Austria 11
IR - Iran 10
TR - Turchia 9
IN - India 6
PL - Polonia 4
BR - Brasile 3
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
ME - Montenegro 1
MT - Malta 1
RS - Serbia 1
Totale 4.223
Città #
Ann Arbor 619
Milan 222
Frankfurt am Main 204
Chandler 145
Houston 144
Wilmington 140
Woodbridge 129
Jacksonville 116
Rome 79
Ashburn 77
Fairfield 69
Dublin 68
Dearborn 67
Nanjing 53
New York 46
Princeton 38
Hong Kong 32
Turin 30
Seattle 26
Cambridge 25
Nanchang 22
Shanghai 19
Lachine 18
Palermo 17
Naples 16
Brussels 15
Hebei 13
Philadelphia 13
Salerno 13
Bari 12
Bergamo 12
Kunming 12
Bologna 11
Andover 10
Beijing 10
Boardman 10
Fremont 10
Guangzhou 10
Dallas 9
Busto Arsizio 8
Cattolica 8
Dong Ket 8
Genoa 8
Vienna 8
Brescia 7
Florence 7
Hangzhou 7
Perugia 7
Pisa 7
Toronto 7
Treviso 7
Casavatore 6
Los Angeles 6
Ningbo 6
Zurich 6
Altamura 5
Como 5
Cosenza 5
Edmonton 5
Foligno 5
Kiev 5
Lawrence 5
Nardò 5
Norwalk 5
Parma 5
Shenyang 5
Torino 5
University Park 5
Vicenza 5
Washington 5
Abbiategrasso 4
Cagliari 4
Cinisello Balsamo 4
Foggia 4
Genova 4
Groningen 4
Kocaeli 4
Locarno 4
Lodi 4
Magenta 4
Mainz 4
Monza 4
Oleggio 4
Ottawa 4
Pontassieve 4
San Diego 4
Siena 4
Tianjin 4
Verona 4
Auburn Hills 3
Bagnolo Mella 3
Capua 3
Casale Monferrato 3
Catania 3
Envie 3
Ferrara 3
Fiesso d'Artico 3
Francavilla al Mare 3
Fuzhou 3
Galliate 3
Totale 2.878
Nome #
Calculemus? Da Leibniz all'intelligenza artificiale 622
Informatica Generale 520
Visual Basic for Applications con Microsoft Excel 505
Riflessioni sulla prova informatica 362
Teoria della dimostrazione intuizionista e dimostrazione automatica 308
Optimization techniques for intuitionistic propositional logic and their implementation 283
A tableau calculus for Dummett predicate logic 184
ESBC: an application for computing stabilization bounds 156
A space efficient implementation of a tableau calculus for a logic with a constructive negation 155
How to avoid the formal verification of a theorem prover 152
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 151
Improvements to the tableau prover PITP 149
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 143
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic 139
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic 127
A tableau decision procedure for propositional intuitionistic logic 126
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic 113
ESBC: an application for computing stabilization bouns 109
Tactics for translation of tableau in natural deduction 102
Totale 4.406
Categoria #
all - tutte 8.633
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 8.633


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019119 0 0 0 0 0 0 0 0 0 18 27 74
2019/2020687 90 38 43 39 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/2024566 25 22 55 67 53 110 95 50 40 49 0 0
Totale 4.406