skip to main content
Idioma:
Refinado por: autor: International Workshop on Logical and Semantic Frameworks 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

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

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

Neste Assunto:

  1. Semântica
  2. Lógica Formal

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

Buscando em bases de dados remotas. Favor aguardar.