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.523
AS - Asia 2.690
EU - Europa 1.394
SA - Sud America 470
Continente sconosciuto - Info sul continente non disponibili 59
AF - Africa 45
OC - Oceania 7
Totale 9.188
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.408
SG - Singapore 967
CN - Cina 690
UA - Ucraina 355
BR - Brasile 354
IT - Italia 283
VN - Vietnam 267
HK - Hong Kong 244
DE - Germania 204
TR - Turchia 201
GB - Regno Unito 134
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
KE - Kenya 7
AE - Emirati Arabi Uniti 6
CR - Costa Rica 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
RS - Serbia 3
TH - Thailandia 3
TT - Trinidad e Tobago 3
BA - Bosnia-Erzegovina 2
CG - Congo 2
EU - Europa 2
GT - Guatemala 2
LT - Lituania 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.131
Salva come PNG Salva come JPEG
Città #
Singapore 613
Jacksonville 381
Ashburn 341
San Jose 336
Chandler 332
Woodbridge 320
Hong Kong 242
Houston 225
Fairfield 215
Council Bluffs 190
Santa Clara 186
Ann Arbor 180
Beijing 172
The Dalles 134
Izmir 115
Nanjing 109
Ho Chi Minh City 105
Wilmington 104
Seattle 97
Princeton 73
Tokyo 70
Los Angeles 65
Cambridge 62
Lauterbourg 56
Hanoi 53
New York 43
Boardman 42
Dallas 40
San Diego 39
Shenyang 38
Milan 37
Mexico City 34
Nanchang 34
Hebei 26
Hefei 24
Warsaw 24
São Paulo 23
Falkenstein 21
Helsinki 21
Changsha 20
Rome 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
Belo Horizonte 10
Guangzhou 10
London 10
Ningbo 10
Phoenix 10
Rio de Janeiro 10
Toronto 10
Biên Hòa 9
Medellín 9
Philadelphia 9
San Francisco 9
Shanghai 9
Atlanta 8
Buffalo 8
Campinas 8
Curitiba 8
Kunming 8
Manchester 8
Tashkent 8
Bologna 7
Florence 7
Quito 7
Verona 7
Brasília 6
Bắc Ninh 6
Dearborn 6
Denver 6
Goiânia 6
Guayaquil 6
Hangzhou 6
Kuala Lumpur 6
Lahore 6
Mumbai 6
Orange 6
Santiago 6
Ankara 5
Auburn Hills 5
Baghdad 5
Des Moines 5
Dhaka 5
Jakarta 5
Totale 5.800
Salva come PNG Salva come JPEG
Nome #
A generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics 232
How to standardize (if you must) 220
An informational view of classical logic 201
The Taming of the Cut. Classical Refutations with Analytic Cut 196
Deduzione analitica classica, complessità e significato degli operatori logici 175
Classical Natural Deduction 174
A logical calculus for controlled monotonicity 172
The measurement of rank mobility 166
Fibred Tableaux for multi-implication logics 161
Cut-Based Abduction 159
Epistemic accuracy and subjective probability 153
"Ragionare dobbiamo, e spesso" 153
A Solution to a Problem of Popper 152
Informational Semantics, Non-deterministic Matrices and Feasible Deduction 150
Depth-Bounded Logic for Realistic Agents 149
What's So Special About Euclidean Distance? A Characterization Result with Applications to Mobility and Spatial Voting 148
WinKE: A Pedagogic Tool for Teaching Logic and Reasoning 146
Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction 144
Scritti Filosofici di Imre Lakatos. 2 voll. 144
Are Tableaux an improvement on truth-tables? Cut-free proofs and bivalence 143
Carnap and Logical Truth 143
An Improvement of Analytic Tableaux 142
Sistemi di refutazione indicizzati e logiche substrutturali 140
null 139
The enduring scandal of deduction. Is propositional logic really uninformative? 138
Carnap e la verità logica 136
Classical logic as the limit of a sequence of cut-bounded feasible logics 135
Libertà: aspetti teorici ed empirici 134
Il Dilemma dell'ATP 133
Deduction 133
Transformation methods in LSD 131
Investigations into the Complexity of some Propositional calculi 131
Grafting modalities onto substructural implication systems 130
I sistemi logici di Karl Popper e l'insegnamento della logica 129
An Improvement of Analytic Tableaux 129
Classical Analytic Deduction and Complexity 128
Tableau Methods for Classical Propositional Logics 126
Leibniz e la geometria nascosta 125
Depth-Bounded Probability Logic: A Preliminary Investigation 124
Logic and the Myth of the Perfect Language 121
Modelling resource allocation in open embedded systems 121
La logica è davvero analitica? 118
Introduzione all'edizione italiana 117
Tableaux methods for substructural logics 116
Information Frames, Implication Systems and Modalities 115
Journal of the IGPL 115
Un nuovo approccio alla meccanizzazione del ragionamento deduttivo 113
Labelled Refutation Systems. A Case Study 113
What's so special about Euclidean distance? A characterization with applications to mobility and spatial voting 112
Tractable Depth Bounded Logics and the Problem of Logical Omniscience 112
Towards theorem proving with analytic cut 111
Efficient Classical Refutations 110
L'impatto di Turing sulla logica 110
La logica e il mito del linguaggio perfetto 109
Labelled Deduction 107
The complexity of proof search with analytic tableaux and related systems 106
SILFS Series 105
Forecasting Accuracy and Subjective Probability 104
Handbook of Tableaux Methods 104
Proper derived rules and the relative complexity of formal proofs 103
Labelled analytic deduction for Normal Modal Logics 102
Towards a more realistic theory of semantic information 99
Measuring Ordinal Mobility: Theory and an Application to Italy. 97
Logica 97
Finding proofs in substructural logics 96
Libertà:un approccio statistico 95
Logica r Politica. Per Marco Mondadori 90
Analytic Inference and the Informational Meaning of the Logical Operators 86
New Essays in Logic and Philosophy of Science 68
Semantics and proof-theory of depth bounded Boolean logics 68
null 50
null 34
Totale 9.188
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.965
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 9.010
Totale 51.975
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022422 0 0 23 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/2027489 102 250 137 0 0 0 0 0 0 0 0 0
Totale 9.188