( en | de | ru )

 

Disambiguation of "Primiero, Giuseppe"

Author of the publication

copydeleteadd this publication to your clipboard
Teaching Functional Patterns through Robotic Applications.

, , , , and . TFPIE, volume 230 of EPTCS, page 17-29. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Giuseppe Olivato

Giuseppe Bosco

Giuseppe Valenza

Giuseppe Rossi

Giuseppe Veltri

 

Other publications of authors with the same name

Information and Knowledge, A Constructive Type-theoretical Approach. Logic, Epistemology, and the Unity of Science Springer, (2008)A logic of efficient and optimal designs.. J. Log. Comput., 29 (6): 947-968 (2019)Majority merging by adaptive counting., and . Synthese, 165 (2): 203-223 (2008)Data Quality Dimensions for Fair AI., and . AEQUITAS@ECAI, volume 3808 of CEUR Workshop Proceedings, CEUR-WS.org, (2024)Type-Theoretical Dynamics.. The Realism-Antirealism Debate in the Age of Alternative Logics, volume 23 of Logic, Epistemology, and the Unity of Science, Springer, (2012)An epistemic logic for becoming informed.. Synthese, 167 (2): 363-389 (2009)A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs., and . CoRR, (2023)A Multi-Agent Depth Bounded Boolean Logic., and . SEFM, volume 12524 of Lecture Notes in Computer Science, page 176-191. Springer, (2020)Probabilistic Typed Natural Deduction for Trustworthy Computations., and . TRUST@AAMAS, volume 3022 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Assessing the Quality of Online Reviews Using Formal Argumentation Theory., , , and . ICWE, volume 12706 of Lecture Notes in Computer Science, page 71-87. Springer, (2021)