DUNCHEV, TSVETAN CHAVDAROV
 Distribuzione geografica
Continente #
NA - Nord America 214
EU - Europa 169
AS - Asia 119
SA - Sud America 7
AF - Africa 5
OC - Oceania 1
Totale 515
Nazione #
US - Stati Uniti d'America 213
DE - Germania 55
GB - Regno Unito 39
SG - Singapore 39
CN - Cina 35
IT - Italia 33
VN - Vietnam 21
HK - Hong Kong 9
CH - Svizzera 7
RU - Federazione Russa 7
FR - Francia 6
IE - Irlanda 6
BR - Brasile 5
IN - India 5
SE - Svezia 5
EE - Estonia 3
TR - Turchia 3
ZA - Sudafrica 3
BE - Belgio 2
FI - Finlandia 2
MY - Malesia 2
AR - Argentina 1
AU - Australia 1
BD - Bangladesh 1
BG - Bulgaria 1
CA - Canada 1
CO - Colombia 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
ID - Indonesia 1
JP - Giappone 1
NL - Olanda 1
PH - Filippine 1
SC - Seychelles 1
TH - Thailandia 1
UA - Ucraina 1
Totale 515
Città #
Southend 31
Fairfield 23
Singapore 18
Ashburn 17
Santa Clara 15
Chandler 13
Ann Arbor 12
San Jose 12
Bologna 10
Woodbridge 10
Leawood 9
Hong Kong 8
Houston 8
Beijing 7
Bern 7
Seattle 7
Dublin 6
Princeton 6
Wilmington 6
Dallas 5
Ho Chi Minh City 5
Redwood City 5
Boardman 4
Cambridge 4
Jinan 4
Fiorano Modenese 3
Hanoi 3
Lauterbourg 3
Medford 3
Nanjing 3
Nürnberg 3
Padova 3
Westminster 3
Berlin 2
Brussels 2
Da Nang 2
Hebei 2
Helsinki 2
Istanbul 2
Jiaxing 2
London 2
Los Angeles 2
Milan 2
Nuremberg 2
Saint Petersburg 2
Adana 1
Antipolo City 1
Atlanta 1
Baoding 1
Basingstoke 1
Bastiglia 1
Blida 1
Boa Vista 1
Brooklyn 1
Buffalo 1
Bắc Ninh 1
Bến Tre 1
Changsha 1
Chiang Mai 1
Des Moines 1
Düsseldorf 1
Enshi 1
Falls Church 1
Fortaleza 1
Fuzhou 1
Hangzhou 1
Ishwardi 1
Jakarta 1
Johannesburg 1
Kuala Lumpur 1
Modena 1
Mountain View 1
Nanchang 1
New York 1
Ningbo 1
Oristano 1
Portsmouth 1
Quận Ba 1
Quận Bình Thạnh 1
Redondo Beach 1
Rio de Janeiro 1
Rome 1
Salvador 1
San Diego 1
San Juan 1
San Martino Valle Caudina 1
Shanghai 1
Sydney 1
Tampa 1
Tampines New Town 1
Tianjin 1
Tokyo 1
Toronto 1
Turin 1
Votuporanga 1
Totale 350
Nome #
Implementing HOL in an higher order logic programming language 217
ELPI: Fast, embeddable, λprolog interpreter 155
Embedded Lambda Prolog Interpreter (ELPI) 154
Totale 526
Categoria #
all - tutte 1.242
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 1.242


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202127 0 0 0 0 0 0 0 0 0 8 8 11
2021/202262 4 3 1 2 4 4 2 8 2 1 15 16
2022/202373 7 8 1 6 12 4 6 1 8 3 6 11
2023/20249 2 2 0 0 2 0 1 0 0 2 0 0
2024/202567 1 13 5 7 22 2 2 2 0 4 2 7
2025/2026119 6 11 11 6 14 5 21 12 26 7 0 0
Totale 526