BILOTTA, ANTONELLA
 Distribuzione geografica
Continente #
EU - Europa 106
NA - Nord America 75
AS - Asia 63
SA - Sud America 5
AF - Africa 3
Totale 252
Nazione #
US - Stati Uniti d'America 72
IT - Italia 59
RU - Federazione Russa 27
SG - Singapore 19
VN - Vietnam 12
CN - Cina 8
BD - Bangladesh 7
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
NL - Olanda 2
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 252
Città #
San Jose 22
Council Bluffs 19
Milan 16
Singapore 16
Ashburn 9
Rome 7
Ho Chi Minh City 5
Los Angeles 5
Moscow 5
Beijing 4
Lauterbourg 3
Parma 3
Berlin 2
Florence 2
Hanoi 2
Hong Kong 2
Lappeenranta 2
Morainvilliers 2
Santa Clara 2
São Paulo 2
Turin 2
Agadir 1
Baghdad 1
Barnet 1
Basra 1
Beaumont 1
Birmingham 1
Brampton 1
Changshu 1
Curitiba 1
Da Nang 1
Dallas 1
Denver 1
Dublin 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
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
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 182
Nome #
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 86
Growing HOLMS, a HOL Light Library for Modal Systems 75
Growing a Modular Framework for Modal Systems: HOLMS 74
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light 29
Totale 264
Categoria #
all - tutte 556
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 556


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026264 0 0 0 0 40 19 44 22 39 48 26 26
Totale 264