Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 18
NA - Nord America 16
AS - Asia 4
Totale 38
Nazione #
US - Stati Uniti d'America 15
IT - Italia 13
SG - Singapore 4
RU - Federazione Russa 3
CA - Canada 1
DE - Germania 1
FI - Finlandia 1
Totale 38
Città #
Padova 5
North Charleston 4
Los Angeles 3
Moscow 3
Atlanta 2
Singapore 2
Verona 2
Boardman 1
Düsseldorf 1
Genoa 1
Helsinki 1
Ogden 1
Rome 1
Totale 27
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 20
A Formal Proof of Modal Completeness for Provability Logic 15
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 9
Investigations of proof theory and automated reasoning for non-classical logics 6
Totale 50
Categoria #
all - tutte 555
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 555


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/20237 0 0 0 0 0 0 0 0 0 0 0 7
2023/202434 0 3 9 0 2 0 2 5 0 8 2 3
2024/20259 9 0 0 0 0 0 0 0 0 0 0 0
Totale 50