statistiche ricercatore

Continente	#
EU - Europa	3.177
NA - Nord America	2.790
AS - Asia	1.389
Continente sconosciuto - Info sul continente non disponibili	184
SA - Sud America	162
AF - Africa	39
OC - Oceania	3
Totale	7.744

Nazione	#
US - Stati Uniti d'America	2.621
IT - Italia	1.962
SG - Singapore	498
CN - Cina	350
DE - Germania	263
VN - Vietnam	186
SE - Svezia	177
RU - Federazione Russa	148
CA - Canada	145
HK - Hong Kong	145
UA - Ucraina	133
BR - Brasile	122
NL - Olanda	96
GB - Regno Unito	92
IE - Irlanda	71
FR - Francia	58
IN - India	38
KR - Corea	38
DK - Danimarca	31
CH - Svizzera	28
FI - Finlandia	27
BD - Bangladesh	22
TR - Turchia	19
BE - Belgio	17
JP - Giappone	15
PL - Polonia	15
CO - Colombia	14
MX - Messico	14
AT - Austria	13
ES - Italia	12
IQ - Iraq	12
ZA - Sudafrica	12
AR - Argentina	11
IR - Iran	11
UZ - Uzbekistan	10
CZ - Repubblica Ceca	9
MA - Marocco	9
MY - Malesia	6
SA - Arabia Saudita	6
EC - Ecuador	5
KE - Kenya	5
PH - Filippine	5
PT - Portogallo	5
ID - Indonesia	4
JM - Giamaica	4
PK - Pakistan	4
RO - Romania	4
AU - Australia	3
IL - Israele	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
CR - Costa Rica	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
SV - El Salvador	1
SY - Repubblica araba siriana	1
TH - Thailandia	1
TN - Tunisia	1
Totale	7.561

Nome	#
Calculemus? Da Leibniz all'intelligenza artificiale	1.530
Visual Basic for Applications con Microsoft Excel	643
Informatica Generale	635
Riflessioni sulla prova informatica	496
Teoria della dimostrazione intuizionista e dimostrazione automatica	468
Optimization techniques for intuitionistic propositional logic and their implementation	436
A tableau calculus for Dummett predicate logic	360
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic	348
Improvements to the tableau prover PITP	312
A space efficient implementation of a tableau calculus for a logic with a constructive negation	306
ESBC: an application for computing stabilization bounds	290
A tableau decision procedure for propositional intuitionistic logic	274
A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic	255
ESBC: an application for computing stabilization bouns	245
How to avoid the formal verification of a theorem prover	245
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic	242
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	220
Tactics for translation of tableau in natural deduction	213
Totale	7.744

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	426	0	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	2.036	214	129	167	196	191	127	252	112	213	162	175	98
2026/2027	70	45	25	0	0	0	0	0	0	0	0	0	0
Totale													7.744

Bicocca Open Archive