ReP USP - Resultado da busca

Filtros : "Electronic Proceedings in Theoretical Computer Science" "Open Publishing Association" Limpar

Filtros

Trabalho de evento-anais periodico
Regional, lattice and logical representations of neural networks (2025)
Preto, Sandro ; Finger, Marcelo
Fonte: Electronic Proceedings in Theoretical Computer Science. Nome do evento: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME
Assuntos: REDES NEURAIS, LÓGICA, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf. Acesso em: 12 nov. 2025. , 2025
APA
Preto, S., & Finger, M. (2025). Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. doi:10.4204/EPTCS.421.4
NLM
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 nov. 12 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Vancouver
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 nov. 12 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Trabalho de evento
Generating complete and finite test suite for ioco: is it possible? (2014)
Simão, Adenilso da Silva ; Petrenko, Alexandre
Fonte: Electronic Proceedings in Theoretical Computer Science. Nome do evento: Workshop on Model-Based Testing. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e PETRENKO, Alexandre. Generating complete and finite test suite for ioco: is it possible? 2014, Anais.. Dübendorf, Suiça: Open Publishing Association, 2014. Disponível em: https://doi.org/10.4204/EPTCS.141. Acesso em: 12 nov. 2025.
APA
Simão, A. da S., & Petrenko, A. (2014). Generating complete and finite test suite for ioco: is it possible? In Electronic Proceedings in Theoretical Computer Science. Dübendorf, Suiça: Open Publishing Association. doi:10.4204/EPTCS.141
NLM
Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2025 nov. 12 ] Available from: https://doi.org/10.4204/EPTCS.141
Vancouver
Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2025 nov. 12 ] Available from: https://doi.org/10.4204/EPTCS.141

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo 2012 - 2025