4 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
Refinado por:
tipo de recurso:
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
Automated Benchmarking of Incremental SAT and QBF SolversEgly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Fehnker, Ansgar ; Voronkov, Andrei ; Davis, Martin ; McIver, AnnabelleLogic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.178-186 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
Speeding up the Constraint-Based Method in Difference LogicCandeago, Lorenzo ; Larraz, Daniel ; Oliveras, Albert ; Rodríguez-Carbonell, Enric ; Rubio, Albert Creignou, Nadia ; Le Berre, DanielTheory and Applications of Satisfiability Testing – SAT 2016, 2016, p.284-301 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsKloimüllner, Christian ; Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Wolf, Armin ; Pührer, Jörg ; Umeda, Masanobu ; Seipel, Dietmar ; Oetsch, Johannes ; Tompits, Hans ; Abreu, SalvadorApplications of Declarative Programming and Knowledge Management, 2013, p.325-344 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Capítulo de Livro
|
|
The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary ReportOetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Wolf, Armin ; Pührer, Jörg ; Umeda, Masanobu ; Seipel, Dietmar ; Oetsch, Johannes ; Tompits, Hans ; Abreu, SalvadorApplications of Declarative Programming and Knowledge Management, 2013, p.305-324 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Semantics (2)
- Computer Science (2)
- Computer Programming (2)
- Computer Science, Theory & Methods (2)
- Knowledge Management (2)
- Integrated Development Environment (2)
- Integrate Development Environment (2)
- Science & Technology (2)
- Technology (2)
- Logic (2)
- Science & Technology - Other Topics (2)
- Knowledge Representation (2)
- Web Services (2)
- Answer Set Programming (2)
- Logic Programming (2)
- Answer Set Semantics (1)
- Abductive Reasoning (1)
- Application Program (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (4)
- Springer Books (4)
- SpringerLINK Lecture Notes in Computer Science (2015) (4)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (4)
- Springer Nature - Springer Computer Science eBooks 2013 English International (2)
- SpringerLINK Lecture Notes in Computer Science (2013) (2)
- SpringerLINK Lecture Notes in Computer Science (2014) (1)
- Springer Nature - Springer Computer Science eBooks 2016 English International (1)
- SpringerLINK Lecture Notes in Computer Science (2016) (1)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1)
- Recercat (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 