Výsledky vyhledávání - "Pablo Donato"

Autor: Pablo Donato, Pierre-Yves Strub, Benjamin Werner

Publikováno v: CPP 2022: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
CPP 2022: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.197-209, ⟨10.1145/3497775.3503692⟩

International audience; We explore the features of a user interface where formal proofs can be built through gestural actions. In particular, we show how proof construction steps can be associated to drag-and-drop actions. We argue that this can prov

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63f92b14106ffda287fbb44dd1a9d83d
https://doi.org/10.1145/3497775.3503692

Zobrazit plný text záznamu

Estudio de opinión, en el alumnado de Trabajo social de la Universidad de la Laguna, sobre mujeres en situación de prostitución, la adicción a las drogas y otros problemas de salud mental

Autor: Cabrera Pérez, Pablo Donato

Publikováno v: RIULL. Repositorio Institucional de la Universidad de La Laguna
Universidad de La Laguna (ULL)

En el presente trabajo se recoge una investigación en referencia a la opinión que tiene el alumnado de Trabajo Social de la Universidad de la Laguna, relacionando a las mujeres en situación de prostitución con la drogodependencia y otros problema

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::81b36d620b71c9d7d59eaea83c70c558
http://riull.ull.es/xmlui/handle/915/19670

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání