statistiche ricercatore

Continente	#
EU - Europa	3.097
NA - Nord America	2.734
AS - Asia	1.379
SA - Sud America	161
AF - Africa	39
OC - Oceania	3
Continente sconosciuto - Info sul continente non disponibili	1
Totale	7.414

Nazione	#
US - Stati Uniti d'America	2.572
IT - Italia	1.884
SG - Singapore	496
CN - Cina	348
DE - Germania	263
VN - Vietnam	186
SE - Svezia	177
RU - Federazione Russa	148
HK - Hong Kong	145
CA - Canada	143
UA - Ucraina	133
BR - Brasile	122
NL - Olanda	96
GB - Regno Unito	91
IE - Irlanda	71
FR - Francia	58
IN - India	38
KR - Corea	38
DK - Danimarca	31
CH - Svizzera	28
FI - Finlandia	27
TR - Turchia	19
BE - Belgio	17
BD - Bangladesh	16
JP - Giappone	15
PL - Polonia	15
CO - Colombia	14
AT - Austria	13
ES - Italia	12
IQ - Iraq	12
MX - Messico	12
ZA - Sudafrica	12
IR - Iran	11
AR - Argentina	10
UZ - Uzbekistan	10
MA - Marocco	9
CZ - Repubblica Ceca	8
MY - Malesia	6
SA - Arabia Saudita	6
EC - Ecuador	5
KE - Kenya	5
PH - Filippine	5
PT - Portogallo	5
ID - Indonesia	4
PK - Pakistan	4
RO - Romania	4
AU - Australia	3
IL - Israele	3
JM - Giamaica	3
PY - Paraguay	3
VE - Venezuela	3
AE - Emirati Arabi Uniti	2
BG - Bulgaria	2
CL - Cile	2
EG - Egitto	2
GR - Grecia	2
JO - Giordania	2
LT - Lituania	2
ME - Montenegro	2
OM - Oman	2
PE - Perù	2
SC - Seychelles	2
SM - San Marino	2
SN - Senegal	2
TW - Taiwan	2
AL - Albania	1
AO - Angola	1
AZ - Azerbaigian	1
BH - Bahrain	1
BY - Bielorussia	1
CM - Camerun	1
CU - Cuba	1
DO - Repubblica Dominicana	1
DZ - Algeria	1
EE - Estonia	1
ET - Etiopia	1
EU - Europa	1
HN - Honduras	1
HU - Ungheria	1
KZ - Kazakistan	1
LA - Repubblica Popolare Democratica del Laos	1
LB - Libano	1
LY - Libia	1
MM - Myanmar	1
MT - Malta	1
MZ - Mozambico	1
NP - Nepal	1
PA - Panama	1
RS - Serbia	1
SY - Repubblica araba siriana	1
TH - Thailandia	1
TN - Tunisia	1
Totale	7.414

Nome	#
Calculemus? Da Leibniz all'intelligenza artificiale	1.486
Visual Basic for Applications con Microsoft Excel	640
Informatica Generale	632
Riflessioni sulla prova informatica	494
Teoria della dimostrazione intuizionista e dimostrazione automatica	448
Optimization techniques for intuitionistic propositional logic and their implementation	421
A tableau calculus for Dummett predicate logic	352
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic	343
Improvements to the tableau prover PITP	306
A space efficient implementation of a tableau calculus for a logic with a constructive negation	301
ESBC: an application for computing stabilization bounds	289
A tableau decision procedure for propositional intuitionistic logic	272
How to avoid the formal verification of a theorem prover	244
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic	244
ESBC: an application for computing stabilization bouns	242
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic	237
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic	226
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic	217
Tactics for translation of tableau in natural deduction	203
Totale	7.597

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	109	0	0	0	0	0	0	0	0	0	0	0	109
2021/2022	477	51	51	58	64	20	52	21	35	38	23	25	39
2022/2023	870	74	188	95	98	52	105	43	76	45	18	50	26
2023/2024	685	25	22	55	67	53	110	95	50	40	55	56	57
2024/2025	1.113	65	116	60	56	95	85	40	102	58	147	106	183
2025/2026	1.959	214	129	167	196	191	127	252	112	213	162	175	21
Totale													7.597

Bicocca Open Archive