SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

D'AGOSTINO, Marcello
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.697
AS - Asia 2.690
EU - Europa 1.400
SA - Sud America 470
Continente sconosciuto - Info sul continente non disponibili 59
AF - Africa 45
OC - Oceania 7
Totale 9.368
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.581
SG - Singapore 967
CN - Cina 690
UA - Ucraina 355
BR - Brasile 354
IT - Italia 286
VN - Vietnam 267
HK - Hong Kong 244
DE - Germania 205
TR - Turchia 201
GB - Regno Unito 135
FI - Finlandia 89
FR - Francia 86
SE - Svezia 73
JP - Giappone 71
BD - Bangladesh 69
RU - Federazione Russa 63
IN - India 61
MX - Messico 46
CA - Canada 45
AR - Argentina 34
PL - Polonia 28
NL - Olanda 25
EC - Ecuador 19
CO - Colombia 18
ID - Indonesia 17
ES - Italia 16
ZA - Sudafrica 15
CL - Cile 14
UZ - Uzbekistan 13
IQ - Iraq 12
SA - Arabia Saudita 12
BE - Belgio 11
PK - Pakistan 10
MY - Malesia 9
PH - Filippine 9
PY - Paraguay 8
VE - Venezuela 8
CR - Costa Rica 7
KE - Kenya 7
AE - Emirati Arabi Uniti 6
BO - Bolivia 5
HN - Honduras 5
IR - Iran 5
KR - Corea 5
MA - Marocco 5
PE - Perù 5
AU - Australia 4
DZ - Algeria 4
ET - Etiopia 4
IE - Irlanda 4
IL - Israele 4
TN - Tunisia 4
UY - Uruguay 4
AL - Albania 3
AZ - Azerbaigian 3
CH - Svizzera 3
JO - Giordania 3
KZ - Kazakistan 3
LT - Lituania 3
RS - Serbia 3
TH - Thailandia 3
TT - Trinidad e Tobago 3
BA - Bosnia-Erzegovina 2
CG - Congo 2
EU - Europa 2
GT - Guatemala 2
NI - Nicaragua 2
NZ - Nuova Zelanda 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
BG - Bulgaria 1
BH - Bahrain 1
BM - Bermuda 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GE - Georgia 1
GN - Guinea 1
GP - Guadalupe 1
GY - Guiana 1
HR - Croazia 1
HU - Ungheria 1
JM - Giamaica 1
LA - Repubblica Popolare Democratica del Laos 1
MQ - Martinica 1
NG - Nigeria 1
NP - Nepal 1
PA - Panama 1
PT - Portogallo 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SM - San Marino 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TG - Togo 1
TV - Tuvalu 1
Totale 9.311
Salva come PNG Salva come JPEG
Città #
Singapore 613
Jacksonville 381
Ashburn 347
San Jose 336
Chandler 332
Woodbridge 320
Hong Kong 242
Houston 226
Fairfield 215
Council Bluffs 195
Santa Clara 187
Ann Arbor 180
Beijing 172
The Dalles 134
Izmir 115
Nanjing 109
Ho Chi Minh City 105
Wilmington 104
Seattle 98
Princeton 73
Tokyo 70
Los Angeles 66
Cambridge 62
Lauterbourg 56
Hanoi 53
New York 43
Boardman 42
Dallas 40
San Diego 40
Shenyang 38
Milan 37
Mexico City 34
Nanchang 34
Hebei 26
Hefei 24
Warsaw 24
São Paulo 23
Falkenstein 21
Helsinki 21
Rome 21
Changsha 20
Moscow 17
Palo del Colle 17
Tianjin 17
Chicago 15
Da Nang 15
Jiaxing 14
Jinan 14
Boston 13
Orem 13
Brooklyn 12
Chennai 12
Montreal 12
San Mateo 12
Brussels 11
Ferrara 11
Haiphong 11
Norwalk 11
Amsterdam 10
Atlanta 10
Belo Horizonte 10
Guangzhou 10
London 10
Ningbo 10
Philadelphia 10
Phoenix 10
Rio de Janeiro 10
Toronto 10
Biên Hòa 9
Medellín 9
San Francisco 9
Shanghai 9
Buffalo 8
Campinas 8
Curitiba 8
Kunming 8
Manchester 8
Tashkent 8
Bologna 7
Denver 7
Florence 7
Quito 7
Verona 7
Brasília 6
Bắc Ninh 6
Dearborn 6
Goiânia 6
Guayaquil 6
Hangzhou 6
Kuala Lumpur 6
Lahore 6
Mumbai 6
Orange 6
Santiago 6
Washington 6
Ankara 5
Auburn Hills 5
Baghdad 5
Des Moines 5
Dhaka 5
Totale 5.822
Salva come PNG Salva come JPEG
Nome #
A generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics 234
How to standardize (if you must) 229
An informational view of classical logic 204
The Taming of the Cut. Classical Refutations with Analytic Cut 199
Deduzione analitica classica, complessità e significato degli operatori logici 178
Classical Natural Deduction 176
A logical calculus for controlled monotonicity 175
The measurement of rank mobility 168
Cut-Based Abduction 164
Fibred Tableaux for multi-implication logics 164
Epistemic accuracy and subjective probability 157
"Ragionare dobbiamo, e spesso" 156
A Solution to a Problem of Popper 154
Depth-Bounded Logic for Realistic Agents 152
Informational Semantics, Non-deterministic Matrices and Feasible Deduction 152
What's So Special About Euclidean Distance? A Characterization Result with Applications to Mobility and Spatial Voting 152
WinKE: A Pedagogic Tool for Teaching Logic and Reasoning 148
Are Tableaux an improvement on truth-tables? Cut-free proofs and bivalence 147
Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction 147
Carnap and Logical Truth 146
Scritti Filosofici di Imre Lakatos. 2 voll. 145
An Improvement of Analytic Tableaux 144
Sistemi di refutazione indicizzati e logiche substrutturali 142
The enduring scandal of deduction. Is propositional logic really uninformative? 140
null 139
Carnap e la verità logica 138
Libertà: aspetti teorici ed empirici 137
Classical logic as the limit of a sequence of cut-bounded feasible logics 137
Il Dilemma dell'ATP 136
Deduction 136
Transformation methods in LSD 135
Grafting modalities onto substructural implication systems 134
I sistemi logici di Karl Popper e l'insegnamento della logica 133
Investigations into the Complexity of some Propositional calculi 132
An Improvement of Analytic Tableaux 132
Classical Analytic Deduction and Complexity 131
Tableau Methods for Classical Propositional Logics 129
Leibniz e la geometria nascosta 128
Depth-Bounded Probability Logic: A Preliminary Investigation 126
Modelling resource allocation in open embedded systems 123
Logic and the Myth of the Perfect Language 122
La logica è davvero analitica? 120
Introduzione all'edizione italiana 119
Information Frames, Implication Systems and Modalities 117
Journal of the IGPL 117
Tableaux methods for substructural logics 117
What's so special about Euclidean distance? A characterization with applications to mobility and spatial voting 115
Labelled Refutation Systems. A Case Study 115
Un nuovo approccio alla meccanizzazione del ragionamento deduttivo 114
Tractable Depth Bounded Logics and the Problem of Logical Omniscience 114
Towards theorem proving with analytic cut 112
Efficient Classical Refutations 112
L'impatto di Turing sulla logica 112
Labelled Deduction 110
The complexity of proof search with analytic tableaux and related systems 110
La logica e il mito del linguaggio perfetto 110
SILFS Series 108
Handbook of Tableaux Methods 107
Forecasting Accuracy and Subjective Probability 106
Labelled analytic deduction for Normal Modal Logics 104
Proper derived rules and the relative complexity of formal proofs 104
Towards a more realistic theory of semantic information 101
Measuring Ordinal Mobility: Theory and an Application to Italy. 100
Logica 100
Finding proofs in substructural logics 100
Libertà:un approccio statistico 98
Logica r Politica. Per Marco Mondadori 92
Analytic Inference and the Informational Meaning of the Logical Operators 89
New Essays in Logic and Philosophy of Science 71
Semantics and proof-theory of depth bounded Boolean logics 69
null 50
null 34
Totale 9.368
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.615
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 9.151
Totale 52.766
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022399 0 0 0 17 17 14 24 31 18 63 67 148
2022/2023681 78 43 11 82 111 108 6 81 89 3 51 18
2023/2024231 39 51 9 10 18 24 2 2 0 9 7 60
2024/20251.061 32 15 96 6 176 9 73 100 123 181 180 70
2025/20263.317 296 148 318 553 309 221 449 163 298 388 120 54
2026/2027669 102 250 305 12 0 0 0 0 0 0 0 0
Totale 9.368