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 3.982
AS - Asia 2.602
EU - Europa 1.314
SA - Sud America 463
AF - Africa 45
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.415
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.897
SG - Singapore 949
CN - Cina 669
UA - Ucraina 355
BR - Brasile 348
VN - Vietnam 266
HK - Hong Kong 241
IT - Italia 208
DE - Germania 204
TR - Turchia 201
GB - Regno Unito 133
FI - Finlandia 89
FR - Francia 85
SE - Svezia 73
JP - Giappone 71
RU - Federazione Russa 63
IN - India 60
MX - Messico 45
AR - Argentina 34
BD - Bangladesh 32
CA - Canada 31
PL - Polonia 28
NL - Olanda 24
CO - Colombia 18
EC - Ecuador 18
ID - Indonesia 17
ES - Italia 16
ZA - Sudafrica 15
CL - Cile 14
UZ - Uzbekistan 13
IQ - Iraq 12
BE - Belgio 11
PK - Pakistan 10
SA - Arabia Saudita 10
PH - Filippine 9
PY - Paraguay 8
VE - Venezuela 8
KE - Kenya 7
MY - Malesia 7
AE - Emirati Arabi Uniti 6
BO - Bolivia 5
HN - Honduras 5
IR - Iran 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
BA - Bosnia-Erzegovina 2
CG - Congo 2
CR - Costa Rica 2
EU - Europa 2
KR - Corea 2
LT - Lituania 2
NZ - Nuova Zelanda 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
BH - Bahrain 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GE - Georgia 1
GN - Guinea 1
GY - Guiana 1
HU - Ungheria 1
LA - Repubblica Popolare Democratica del Laos 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
PT - Portogallo 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SM - San Marino 1
SY - Repubblica araba siriana 1
TG - Togo 1
TT - Trinidad e Tobago 1
TV - Tuvalu 1
Totale 8.415
Salva come PNG Salva come JPEG
Città #
Singapore 604
Jacksonville 379
Chandler 332
Woodbridge 320
Ashburn 304
Hong Kong 239
San Jose 225
Houston 223
Fairfield 215
Ann Arbor 180
Santa Clara 173
Beijing 158
The Dalles 134
Izmir 115
Nanjing 109
Ho Chi Minh City 104
Wilmington 104
Seattle 96
Princeton 73
Tokyo 70
Cambridge 62
Lauterbourg 56
Los Angeles 54
Hanoi 53
Boardman 42
San Diego 39
Shenyang 38
Nanchang 34
New York 34
Dallas 33
Mexico City 33
Hebei 26
Milan 26
Hefei 24
Warsaw 24
São Paulo 23
Falkenstein 21
Helsinki 21
Changsha 20
Moscow 17
Tianjin 17
Council Bluffs 16
Da Nang 15
Rome 15
Chicago 14
Jiaxing 14
Jinan 14
Orem 13
Boston 12
Chennai 12
San Mateo 12
Brussels 11
Ferrara 11
Haiphong 11
Montreal 11
Norwalk 11
Belo Horizonte 10
Brooklyn 10
Guangzhou 10
London 10
Ningbo 10
Amsterdam 9
Biên Hòa 9
Medellín 9
Campinas 8
Curitiba 8
Kunming 8
Manchester 8
Philadelphia 8
Phoenix 8
Rio de Janeiro 8
Shanghai 8
Tashkent 8
Quito 7
San Francisco 7
Verona 7
Atlanta 6
Bologna 6
Bắc Ninh 6
Dearborn 6
Goiânia 6
Guayaquil 6
Hangzhou 6
Lahore 6
Mumbai 6
Orange 6
Santiago 6
Toronto 6
Ankara 5
Auburn Hills 5
Baghdad 5
Brasília 5
Denver 5
Des Moines 5
Dhaka 5
Jakarta 5
Johannesburg 5
Kuala Lumpur 5
Lanzhou 5
Mountain View 5
Totale 5.348
Salva come PNG Salva come JPEG
Nome #
A generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics 198
How to standardize (if you must) 197
An informational view of classical logic 192
The Taming of the Cut. Classical Refutations with Analytic Cut 181
Deduzione analitica classica, complessità e significato degli operatori logici 163
A logical calculus for controlled monotonicity 161
The measurement of rank mobility 159
Fibred Tableaux for multi-implication logics 155
A Solution to a Problem of Popper 144
Epistemic accuracy and subjective probability 142
Informational Semantics, Non-deterministic Matrices and Feasible Deduction 142
Classical Natural Deduction 141
"Ragionare dobbiamo, e spesso" 140
What's So Special About Euclidean Distance? A Characterization Result with Applications to Mobility and Spatial Voting 140
null 139
WinKE: A Pedagogic Tool for Teaching Logic and Reasoning 138
Depth-Bounded Logic for Realistic Agents 136
Carnap and Logical Truth 136
Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction 134
Scritti Filosofici di Imre Lakatos. 2 voll. 134
Sistemi di refutazione indicizzati e logiche substrutturali 131
Cut-Based Abduction 131
An Improvement of Analytic Tableaux 130
Deduction 127
Investigations into the Complexity of some Propositional calculi 127
Are Tableaux an improvement on truth-tables? Cut-free proofs and bivalence 126
Carnap e la verità logica 125
Libertà: aspetti teorici ed empirici 125
Il Dilemma dell'ATP 124
Transformation methods in LSD 124
I sistemi logici di Karl Popper e l'insegnamento della logica 122
An Improvement of Analytic Tableaux 122
Classical logic as the limit of a sequence of cut-bounded feasible logics 120
Classical Analytic Deduction and Complexity 119
Tableau Methods for Classical Propositional Logics 118
Modelling resource allocation in open embedded systems 117
Leibniz e la geometria nascosta 117
The enduring scandal of deduction. Is propositional logic really uninformative? 117
Depth-Bounded Probability Logic: A Preliminary Investigation 115
Introduzione all'edizione italiana 111
Information Frames, Implication Systems and Modalities 110
Journal of the IGPL 110
Tableaux methods for substructural logics 110
La logica è davvero analitica? 109
Logic and the Myth of the Perfect Language 107
What's so special about Euclidean distance? A characterization with applications to mobility and spatial voting 105
Tractable Depth Bounded Logics and the Problem of Logical Omniscience 104
Towards theorem proving with analytic cut 103
Labelled Refutation Systems. A Case Study 103
Grafting modalities onto substructural implication systems 103
L'impatto di Turing sulla logica 103
Labelled Deduction 102
Un nuovo approccio alla meccanizzazione del ragionamento deduttivo 101
Forecasting Accuracy and Subjective Probability 100
The complexity of proof search with analytic tableaux and related systems 99
SILFS Series 98
Efficient Classical Refutations 98
Proper derived rules and the relative complexity of formal proofs 97
La logica e il mito del linguaggio perfetto 96
Handbook of Tableaux Methods 96
Labelled analytic deduction for Normal Modal Logics 93
Towards a more realistic theory of semantic information 91
Measuring Ordinal Mobility: Theory and an Application to Italy. 89
Libertà:un approccio statistico 88
Logica 87
Finding proofs in substructural logics 87
Logica r Politica. Per Marco Mondadori 86
Analytic Inference and the Informational Meaning of the Logical Operators 70
Semantics and proof-theory of depth bounded Boolean logics 63
New Essays in Logic and Philosophy of Science 60
null 50
null 34
Totale 8.472
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.215
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 7.767
Totale 44.982
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021212 0 0 0 0 0 0 0 0 0 81 104 27
2021/2022507 12 73 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.090 296 148 318 553 309 221 449 163 298 335 0 0
Totale 8.472