FIORENTINI, CAMILLO
 Distribuzione geografica
Continente #
EU - Europa 18
NA - Nord America 4
AS - Asia 3
Totale 25
Nazione #
IT - Italia 11
FR - Francia 6
US - Stati Uniti d'America 4
CN - Cina 2
BE - Belgio 1
ID - Indonesia 1
Totale 25
Città #
Como 7
Magnago 3
Brooklyn 1
Brussels 1
Chicago 1
Fleming Island 1
Jakarta 1
San Francisco 1
Varese 1
Totale 17
Nome #
Forward refutation for Gödel-Dummett Logics, file 7dd308dd-81dd-4572-9cf8-f1b69e1d58df 12
A New Approach to Clausification for Intuitionistic Propositional Logic, file 4ece0ed9-c68b-4413-bbcc-9ba6a38962b8 6
A forward internal calculus for model generation in S4, file d4091af2-5abf-47e4-9d1e-fd50e204b4ef 4
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic, file e2188be7-5c90-4564-e053-6605fe0a49d6 2
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic, file e2188be6-2d9d-4564-e053-6605fe0a49d6 1
Totale 25
Categoria #
all - tutte 69
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 69


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201 0 0 0 0 0 1 0 0 0 0 0 0
2022/202312 1 1 1 2 1 0 0 3 2 0 1 0
2023/202412 0 1 1 0 6 0 2 2 0 0 0 0
Totale 25