BILOTTA, ANTONELLA
 Distribuzione geografica
Continente #
EU - Europa 144
NA - Nord America 136
AS - Asia 70
Continente sconosciuto - Info sul continente non disponibili 14
SA - Sud America 5
AF - Africa 3
Totale 372
Nazione #
US - Stati Uniti d'America 132
IT - Italia 89
RU - Federazione Russa 27
SG - Singapore 22
VN - Vietnam 12
CN - Cina 10
BD - Bangladesh 8
FR - Francia 8
GB - Regno Unito 5
BR - Brasile 4
HK - Hong Kong 4
IN - India 4
DE - Germania 3
IQ - Iraq 3
CA - Canada 2
CZ - Repubblica Ceca 2
FI - Finlandia 2
IE - Irlanda 2
NL - Olanda 2
RO - Romania 2
HU - Ungheria 1
IR - Iran 1
JM - Giamaica 1
JP - Giappone 1
KR - Corea 1
MA - Marocco 1
MX - Messico 1
MY - Malesia 1
PL - Polonia 1
TN - Tunisia 1
TR - Turchia 1
TW - Taiwan 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 358
Città #
Council Bluffs 39
San Jose 27
Milan 26
Singapore 18
Ashburn 13
Rome 9
Beijing 6
Ho Chi Minh City 5
Los Angeles 5
Moscow 5
Santa Clara 5
Turin 5
Florence 4
Hong Kong 3
Lauterbourg 3
New York 3
Parma 3
Pisa 3
Berlin 2
Dublin 2
Hanoi 2
Lappeenranta 2
Morainvilliers 2
Parkland 2
Phoenix 2
Prague 2
São Paulo 2
The Dalles 2
Agadir 1
Baghdad 1
Baltimore 1
Barnet 1
Basra 1
Beaumont 1
Birmingham 1
Bologna 1
Brampton 1
Changshu 1
Clifton 1
Curitiba 1
Da Nang 1
Dallas 1
Denver 1
East Hartford 1
El Mourouj 1
Fulham 1
Gunsan 1
Hayes 1
Huế 1
Istanbul 1
Jaipur 1
Jamaica Plain 1
Johannesburg 1
Kirkuk 1
Korntal 1
Kuala Lumpur 1
Las Vegas 1
Lissone 1
Lucknow 1
Mandeville 1
Menomonie 1
Methuen 1
Moyenmoutier 1
Mumbai 1
Nancy 1
Naples 1
Nashville 1
Newport News 1
North Bergen 1
Oklahoma City 1
Pachuca 1
Padua 1
Pagani 1
Perugia 1
Phú Nhuận 1
Piscataway 1
Poplar 1
Pordenone 1
Quận Một 1
Rowlett 1
San Clemente 1
San Paolo d'Argon 1
Santee 1
Schaumburg 1
Swansboro 1
São José do Rio Preto 1
Taichung 1
Tashkent 1
Thrissur 1
Tokyo 1
Târgu Jiu 1
Vũng Tàu 1
Warsaw 1
Washington 1
Waterbury 1
Westlake Village 1
Totale 270
Nome #
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 109
Growing a Modular Framework for Modal Systems: HOLMS 94
Growing HOLMS, a HOL Light Library for Modal Systems 88
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light 69
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light 12
Totale 372
Categoria #
all - tutte 913
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 913


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026265 0 0 0 0 40 19 44 22 39 48 26 27
2026/2027107 24 16 23 44 0 0 0 0 0 0 0 0
Totale 372