BILOTTA, ANTONELLA
 Distribuzione geografica
Continente #
EU - Europa 90
AS - Asia 54
NA - Nord America 39
SA - Sud America 5
AF - Africa 3
Totale 191
Nazione #
IT - Italia 48
US - Stati Uniti d'America 37
RU - Federazione Russa 27
SG - Singapore 17
VN - Vietnam 12
CN - Cina 8
FR - Francia 5
BR - Brasile 4
GB - Regno Unito 3
HK - Hong Kong 3
IN - India 3
IQ - Iraq 3
DE - Germania 2
FI - Finlandia 2
BD - Bangladesh 1
CA - Canada 1
IE - Irlanda 1
IR - Iran 1
JP - Giappone 1
KR - Corea 1
MA - Marocco 1
MX - Messico 1
MY - Malesia 1
PL - Polonia 1
RO - Romania 1
TN - Tunisia 1
TR - Turchia 1
TW - Taiwan 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 191
Città #
San Jose 18
Milan 15
Singapore 14
Rome 7
Ashburn 5
Ho Chi Minh City 5
Moscow 5
Beijing 4
Los Angeles 4
Lauterbourg 3
Parma 3
Berlin 2
Council Bluffs 2
Hanoi 2
Hong Kong 2
Lappeenranta 2
Santa Clara 2
São Paulo 2
Agadir 1
Baghdad 1
Barnet 1
Basra 1
Beaumont 1
Birmingham 1
Changshu 1
Curitiba 1
Da Nang 1
Dallas 1
Denver 1
Dublin 1
El Mourouj 1
Florence 1
Gunsan 1
Huế 1
Istanbul 1
Jaipur 1
Johannesburg 1
Kirkuk 1
Kuala Lumpur 1
Lucknow 1
Moyenmoutier 1
New York 1
North Bergen 1
Pachuca 1
Padua 1
Pagani 1
Phú Nhuận 1
Poplar 1
Quận Một 1
San Paolo d'Argon 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
Totale 137
Nome #
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 66
Growing HOLMS, a HOL Light Library for Modal Systems 65
Growing a Modular Framework for Modal Systems: HOLMS 63
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light 8
Totale 202
Categoria #
all - tutte 323
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 323


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026202 0 0 0 0 40 19 44 22 39 38 0 0
Totale 202