ReP USP - Resultado da busca

Trabalho de evento-anais periodico
On structuring functional programs with monoidal profunctors (2022)
Oliveira, Alexandre Garcia de; Jaskelioff, Mauro; Melo, Ana Cristina Vieira de
Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: Workshop on Mathematically Structured Functional Programming - MSFP. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Alexandre Garcia de e JASKELIOFF, Mauro e MELO, Ana Cristina Vieira de. On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7. Acesso em: 02 ago. 2024. , 2022
APA
Oliveira, A. G. de, Jaskelioff, M., & Melo, A. C. V. de. (2022). On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
NLM
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2024 ago. 02 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
Vancouver
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2024 ago. 02 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
Artigo de periodico
A domain engineering for interactive learning modules (2012)
Dalmon, Danilo Leite; Brandão, Leônidas de Oliveira ; Brandão, Anarosa Alves Franco ; Isotani, Seiji
Source: Journal of Research and Practice in Information Technology. Unidades: IME, EP, ICMC
Subjects: ENGENHARIA DE SOFTWARE, SOFTWARES, FRAMEWORKS, MODELOS DE APRENDIZAGEM, TECNOLOGIA EDUCACIONAL, SISTEMAS COLABORATIVOS, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DALMON, Danilo Leite et al. A domain engineering for interactive learning modules. Journal of Research and Practice in Information Technology, v. 44, n. 3, p. 309-330, 2012Tradução . . Disponível em: file:///C:/Users/2677490/Downloads/paper_jrpit_JRPIT44.3.309_spl_ilm_DalmonBrandaoEtAl.pdf. Acesso em: 02 ago. 2024.
APA
Dalmon, D. L., Brandão, L. de O., Brandão, A. A. F., & Isotani, S. (2012). A domain engineering for interactive learning modules. Journal of Research and Practice in Information Technology, 44( 3), 309-330. Recuperado de file:///C:/Users/2677490/Downloads/paper_jrpit_JRPIT44.3.309_spl_ilm_DalmonBrandaoEtAl.pdf
NLM
Dalmon DL, Brandão L de O, Brandão AAF, Isotani S. A domain engineering for interactive learning modules [Internet]. Journal of Research and Practice in Information Technology. 2012 ; 44( 3): 309-330.[citado 2024 ago. 02 ] Available from: file:///C:/Users/2677490/Downloads/paper_jrpit_JRPIT44.3.309_spl_ilm_DalmonBrandaoEtAl.pdf
Vancouver
Dalmon DL, Brandão L de O, Brandão AAF, Isotani S. A domain engineering for interactive learning modules [Internet]. Journal of Research and Practice in Information Technology. 2012 ; 44( 3): 309-330.[citado 2024 ago. 02 ] Available from: file:///C:/Users/2677490/Downloads/paper_jrpit_JRPIT44.3.309_spl_ilm_DalmonBrandaoEtAl.pdf
Trabalho de evento
Classical and quantum satisfiability (2012)
Araújo, Anderson de; Finger, Marcelo
Source: Proceedings. Conference titles: Workshop on Logical and Semantic Frameworks with Applications - EPTCS. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO, Anderson de e FINGER, Marcelo. Classical and quantum satisfiability. 2012, Anais.. Sydney: EPTCS, 2012. Disponível em: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf. Acesso em: 02 ago. 2024.
APA
Araújo, A. de, & Finger, M. (2012). Classical and quantum satisfiability. In Proceedings. Sydney: EPTCS. Recuperado de http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
NLM
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2024 ago. 02 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf
Vancouver
Araújo A de, Finger M. Classical and quantum satisfiability [Internet]. Proceedings. 2012 ;[citado 2024 ago. 02 ] Available from: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.6.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects