BORSETTO, RICCARDO
 Distribuzione geografica
Continente #
NA - Nord America 21
EU - Europa 4
Continente sconosciuto - Info sul continente non disponibili 2
AS - Asia 1
Totale 28
Nazione #
US - Stati Uniti d'America 18
IT - Italia 3
GT - Guatemala 2
CA - Canada 1
CN - Cina 1
DE - Germania 1
Totale 26
Città #
Ashburn 6
Dallas 3
Council Bluffs 2
Guatemala City 2
McKinney 2
Milan 2
Edmonton 1
Myrtle Beach 1
Naples 1
Santa Clara 1
Totale 21
Nome #
NAMOR: a New Agda Library for Modal Extended Sequents 15
An Agda Implementation of the Modal Logic S4.2: First Investigations 13
Totale 28
Categoria #
all - tutte 185
article - articoli 0
book - libri 0
conference - conferenze 185
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 370


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2026/202728 0 0 9 17 2 0 0 0 0 0 0 0
Totale 28