BILOTTA, ANTONELLA
 Distribuzione geografica
Continente #
EU - Europa 113
NA - Nord America 90
AS - Asia 67
Continente sconosciuto - Info sul continente non disponibili 12
SA - Sud America 5
AF - Africa 3
Totale 290
Nazione #
US - Stati Uniti d'America 86
IT - Italia 65
RU - Federazione Russa 27
SG - Singapore 20
VN - Vietnam 12
CN - Cina 10
BD - Bangladesh 8
FR - Francia 7
BR - Brasile 4
GB - Regno Unito 4
IN - India 4
HK - Hong Kong 3
IQ - Iraq 3
CA - Canada 2
DE - Germania 2
FI - Finlandia 2
IE - Irlanda 2
NL - Olanda 2
IR - Iran 1
JM - Giamaica 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 278
Città #
Council Bluffs 28
San Jose 22
Milan 16
Singapore 16
Ashburn 9
Rome 7
Beijing 6
Ho Chi Minh City 5
Los Angeles 5
Moscow 5
Florence 4
Turin 4
Lauterbourg 3
Parma 3
Santa Clara 3
Berlin 2
Dublin 2
Hanoi 2
Hong Kong 2
Lappeenranta 2
Morainvilliers 2
São Paulo 2
Agadir 1
Baghdad 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
Gunsan 1
Hayes 1
Huế 1
Istanbul 1
Jaipur 1
Jamaica Plain 1
Johannesburg 1
Kirkuk 1
Kuala Lumpur 1
Lucknow 1
Mandeville 1
Methuen 1
Moyenmoutier 1
Mumbai 1
Nashville 1
New York 1
Newport News 1
North Bergen 1
Pachuca 1
Padua 1
Pagani 1
Phú Nhuận 1
Piscataway 1
Poplar 1
Pordenone 1
Quận Một 1
Rowlett 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
Waterbury 1
Westlake Village 1
Totale 204
Nome #
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 92
Growing a Modular Framework for Modal Systems: HOLMS 82
Growing HOLMS, a HOL Light Library for Modal Systems 79
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light 37
Totale 290
Categoria #
all - tutte 687
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 687


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/202725 24 1 0 0 0 0 0 0 0 0 0 0
Totale 290