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.137
AS - Asia 2.649
EU - Europa 1.349
SA - Sud America 463
AF - Africa 45
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 8.652
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.045
SG - Singapore 954
CN - Cina 675
UA - Ucraina 355
BR - Brasile 348
VN - Vietnam 266
HK - Hong Kong 242
IT - Italia 239
DE - Germania 204
TR - Turchia 201
GB - Regno Unito 134
FI - Finlandia 89
FR - Francia 86
SE - Svezia 73
JP - Giappone 71
BD - Bangladesh 65
RU - Federazione Russa 63
IN - India 60
MX - Messico 45
AR - Argentina 34
CA - Canada 34
PL - Polonia 28
NL - Olanda 25
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
SA - Arabia Saudita 11
PK - Pakistan 10
PH - Filippine 9
MY - Malesia 8
PY - Paraguay 8
VE - Venezuela 8
KE - Kenya 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
NI - Nicaragua 2
NZ - Nuova Zelanda 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
BG - Bulgaria 1
BH - Bahrain 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GE - Georgia 1
GN - Guinea 1
GP - Guadalupe 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
LA - Repubblica Popolare Democratica del Laos 1
MQ - Martinica 1
NG - Nigeria 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.652
Salva come PNG Salva come JPEG
Città #
Singapore 606
Jacksonville 380
Chandler 332
Ashburn 320
Woodbridge 320
San Jose 267
Hong Kong 240
Houston 225
Fairfield 215
Ann Arbor 180
Santa Clara 176
Beijing 159
The Dalles 134
Izmir 115
Nanjing 109
Ho Chi Minh City 104
Wilmington 104
Seattle 97
Princeton 73
Tokyo 70
Cambridge 62
Los Angeles 62
Lauterbourg 56
Hanoi 53
Boardman 42
New York 42
San Diego 39
Shenyang 38
Dallas 37
Nanchang 34
Mexico City 33
Milan 32
Hebei 26
Council Bluffs 24
Hefei 24
Warsaw 24
São Paulo 23
Falkenstein 21
Helsinki 21
Changsha 20
Rome 18
Moscow 17
Tianjin 17
Da Nang 15
Chicago 14
Jiaxing 14
Jinan 14
Orem 13
Boston 12
Brooklyn 12
Chennai 12
San Mateo 12
Brussels 11
Ferrara 11
Haiphong 11
Montreal 11
Norwalk 11
Amsterdam 10
Belo Horizonte 10
Guangzhou 10
London 10
Ningbo 10
Biên Hòa 9
Medellín 9
Philadelphia 9
Shanghai 9
Campinas 8
Curitiba 8
Kunming 8
Manchester 8
Phoenix 8
Rio de Janeiro 8
Tashkent 8
Toronto 8
Bologna 7
Buffalo 7
Florence 7
Quito 7
San Francisco 7
Verona 7
Atlanta 6
Bắc Ninh 6
Dearborn 6
Goiânia 6
Guayaquil 6
Hangzhou 6
Lahore 6
Mumbai 6
Orange 6
Santiago 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
Totale 5.466
Salva come PNG Salva come JPEG
Nome #
A generalization of analytic deduction via labelled deductive systems. Part 1: basic substructural logics 222
How to standardize (if you must) 210
An informational view of classical logic 193
The Taming of the Cut. Classical Refutations with Analytic Cut 183
Deduzione analitica classica, complessità e significato degli operatori logici 169
A logical calculus for controlled monotonicity 165
The measurement of rank mobility 160
Fibred Tableaux for multi-implication logics 158
Classical Natural Deduction 152
Cut-Based Abduction 146
Informational Semantics, Non-deterministic Matrices and Feasible Deduction 146
A Solution to a Problem of Popper 145
Epistemic accuracy and subjective probability 144
"Ragionare dobbiamo, e spesso" 144
What's So Special About Euclidean Distance? A Characterization Result with Applications to Mobility and Spatial Voting 144
Depth-Bounded Logic for Realistic Agents 140
null 139
WinKE: A Pedagogic Tool for Teaching Logic and Reasoning 139
Scritti Filosofici di Imre Lakatos. 2 voll. 137
Carnap and Logical Truth 136
Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction 135
Sistemi di refutazione indicizzati e logiche substrutturali 134
The enduring scandal of deduction. Is propositional logic really uninformative? 134
An Improvement of Analytic Tableaux 133
Are Tableaux an improvement on truth-tables? Cut-free proofs and bivalence 131
Investigations into the Complexity of some Propositional calculi 129
Carnap e la verità logica 128
Deduction 127
Transformation methods in LSD 126
Il Dilemma dell'ATP 125
Libertà: aspetti teorici ed empirici 125
Classical logic as the limit of a sequence of cut-bounded feasible logics 123
I sistemi logici di Karl Popper e l'insegnamento della logica 122
Grafting modalities onto substructural implication systems 122
An Improvement of Analytic Tableaux 122
Leibniz e la geometria nascosta 121
Classical Analytic Deduction and Complexity 121
Tableau Methods for Classical Propositional Logics 120
Modelling resource allocation in open embedded systems 118
Depth-Bounded Probability Logic: A Preliminary Investigation 118
Introduzione all'edizione italiana 113
La logica è davvero analitica? 112
Information Frames, Implication Systems and Modalities 112
Logic and the Myth of the Perfect Language 111
Tableaux methods for substructural logics 111
Journal of the IGPL 110
What's so special about Euclidean distance? A characterization with applications to mobility and spatial voting 107
Un nuovo approccio alla meccanizzazione del ragionamento deduttivo 106
Tractable Depth Bounded Logics and the Problem of Logical Omniscience 106
Towards theorem proving with analytic cut 105
Labelled Refutation Systems. A Case Study 105
Labelled Deduction 104
L'impatto di Turing sulla logica 104
La logica e il mito del linguaggio perfetto 102
Efficient Classical Refutations 102
SILFS Series 101
The complexity of proof search with analytic tableaux and related systems 100
Forecasting Accuracy and Subjective Probability 100
Proper derived rules and the relative complexity of formal proofs 99
Handbook of Tableaux Methods 97
Labelled analytic deduction for Normal Modal Logics 95
Towards a more realistic theory of semantic information 92
Measuring Ordinal Mobility: Theory and an Application to Italy. 90
Libertà:un approccio statistico 90
Finding proofs in substructural logics 89
Logica 88
Logica r Politica. Per Marco Mondadori 87
Analytic Inference and the Informational Meaning of the Logical Operators 76
Semantics and proof-theory of depth bounded Boolean logics 64
New Essays in Logic and Philosophy of Science 61
null 50
null 34
Totale 8.709
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.885
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 8.334
Totale 48.219
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.317 296 148 318 553 309 221 449 163 298 388 120 54
2026/202710 10 0 0 0 0 0 0 0 0 0 0 0
Totale 8.709