skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Nome da Publicação: Electronic Notes In Theoretical Computer Science remover assunto: Semântica remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An efficient algorithm for representing piecewise linear functions into logic
An efficient algorithm for representing piecewise linear functions into logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

Localização: IME - Inst. Matemática e Estatística    (PROD-3013847 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Assunto 

  1. Semântica  (0)
  2. Semântica  (0)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Preto, S
  3. International Workshop on Logical and Semantic Frameworks

Neste Assunto:

  1. Lógica Formal
  2. Semântica
  3. Semântica

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.