TASSI, ENRICO
 Distribuzione geografica
Continente #
NA - Nord America 745
EU - Europa 667
AS - Asia 233
AF - Africa 23
Continente sconosciuto - Info sul continente non disponibili 15
SA - Sud America 1
Totale 1.684
Nazione #
US - Stati Uniti d'America 729
GB - Regno Unito 214
IT - Italia 102
CN - Cina 95
DE - Germania 83
VN - Vietnam 79
SE - Svezia 74
UA - Ucraina 73
IN - India 31
CH - Svizzera 28
IE - Irlanda 28
FR - Francia 23
RU - Federazione Russa 19
CA - Canada 16
TR - Turchia 16
EU - Europa 15
ZA - Sudafrica 12
EE - Estonia 9
BE - Belgio 6
SC - Seychelles 6
FI - Finlandia 4
JO - Giordania 4
SG - Singapore 3
TG - Togo 3
CI - Costa d'Avorio 2
AR - Argentina 1
GE - Georgia 1
GR - Grecia 1
HK - Hong Kong 1
HR - Croazia 1
HU - Ungheria 1
JP - Giappone 1
MY - Malesia 1
NL - Olanda 1
SA - Arabia Saudita 1
Totale 1.684
Città #
Southend 199
Chandler 94
Fairfield 69
Jacksonville 51
Ashburn 50
Cambridge 41
Wilmington 37
Princeton 36
Woodbridge 34
Seattle 29
Dublin 28
Bern 27
Ann Arbor 26
Bologna 23
Dong Ket 23
Nanjing 18
Houston 17
Padova 17
Istanbul 16
Turin 16
Westminster 16
New York 12
Jinan 11
Medford 11
Berlin 10
Montreal 9
Changsha 8
Mülheim 8
Nanchang 7
Beijing 6
Brussels 6
Mahé 6
Norwalk 6
San Diego 6
Tianjin 6
Dearborn 5
Haikou 5
Hebei 5
Ningbo 5
Pittsburgh 5
Shenyang 5
Amman 4
Falls Church 4
Helsinki 4
Reggio Nell'emilia 4
Benevento 3
Bremen 3
Hangzhou 3
Jiaxing 3
Lomé 3
Milan 3
Saint Petersburg 3
Salsomaggiore Terme 3
San Venanzo 3
Abidjan 2
Buffalo 2
Des Moines 2
Fuzhou 2
Guangzhou 2
Molinella 2
Muizenberg 2
Redwood City 2
San Mauro Pascoli 2
Singapore 2
Toronto 2
Atlanta 1
Battaglia Terme 1
Boardman 1
Castel Maggiore 1
Cesena 1
Conselice 1
Costa Mesa 1
Córdoba 1
Decimomannu 1
Faenza 1
Groningen 1
Hanover 1
Karlsruhe 1
Kunming 1
Lanzhou 1
Levallois-perret 1
Los Angeles 1
Montréal 1
Mountain View 1
Napoli 1
Nuremberg 1
Olalla 1
Parma 1
Plauen 1
Pune 1
Quzhou 1
Rezzato 1
Riyadh 1
Rome 1
San Francisco 1
San Mateo 1
San Pietro in Casale 1
Taiyuan 1
Taizhou 1
Tappahannock 1
Totale 1.109
Nome #
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions 183
A new type for tactics 138
Crafting a Proof Assistant 132
A content based mathematical search engine: Whelp 120
User Interaction with the Matita Proof Assistant 115
Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover 112
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita 111
Matita 103
Formalising Overlap Algebras in Matita 100
Higher order proof reconstruction from paramodulation-based refutations: the unit equality case. 99
Matita 0.5.7 97
Natural Deduction Environment for Matita 91
Working with Mathematical Structures in Type Theory 90
Tinycals: Step by Step Tacticals 83
User Level Networking-Personal IP: assigning each user his/her own IP addresses in multiuser operating systems 82
Matita 0.99.1 66
Totale 1.722
Categoria #
all - tutte 4.150
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 4.150


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020397 65 12 10 25 33 42 40 54 40 32 9 35
2020/2021247 48 16 5 12 1 9 11 23 50 13 15 44
2021/2022395 73 11 21 35 28 17 5 20 12 5 106 62
2022/2023410 44 51 30 37 24 55 5 23 49 9 47 36
2023/202481 5 19 4 11 8 20 2 4 1 6 0 1
2024/20256 6 0 0 0 0 0 0 0 0 0 0 0
Totale 1.722