1 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Newspaper
|
|
Symbolic computation and satisfiability checkingDavenport, James H. ; England, Matthew ; Griggio, Alberto ; Sturm, Thomas ; Tinelli, CesareJournal of Symbolic Computation, 2020, Vol.100, p.1-10 [Periódico revisado por pares]Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 