Resultados de 1 a 10 de 2.690 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:
Reports
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Report
|
|
|
| 2 |
Material Type: Report
|
|
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)Beyersdorff, Olaf ; Biere, Armin ; Ganesh, Vijay ; Nordström, Jakob ; Oertel, AndySchloss Dagstuhl – Leibniz-Zentrum für Informatik 2023Texto completo disponível |
| 3 |
Material Type: Report
|
|
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442)De Raedt, Luc ; Schmid, Ute ; Langer, JohannesSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2024Texto completo disponível |
| 4 |
Material Type: Report
|
|
SAT Encodings and Beyond (Dagstuhl Seminar 23261)Heule, Marijn J. H. ; Lynce, Inês ; Szeider, Stefan ; Schidler, AndreSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2024Texto completo disponível |
| 5 |
Material Type: Report
|
|
Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431)Frejinger, Emma ; Lodi, Andrea ; Lombardi, Michele ; Yorke-Smith, NeilSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2023Texto completo disponível |
| 6 |
Material Type: Report
|
|
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)De Raedt, Luc ; Evans, Richard ; Muggleton, Stephen H. ; Schmid, UteSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2019Texto completo disponível |
| 7 |
Material Type: Report
|
|
Logic and Learning (Dagstuhl Seminar 19361)Benedikt, Michael ; Kersting, Kristian ; Kolaitis, Phokion G. ; Neider, DanielSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2020Texto completo disponível |
| 8 |
Material Type: Report
|
|
Policy Statement for Biosafety Level 4/Animal Biosafety Level 4 Laboratory Verification; Notice of AvailabilityThe Federal Register / FIND, 2023, Vol.88 (27), p.8428Washington: Federal Information & News Dispatch, LLCTexto completo disponível |
| 9 |
Material Type: Report
|
|
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)Schmid, Ute ; Muggleton, Stephen H. ; Singh, RishabhSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2018Texto completo disponível |
| 10 |
Material Type: Report
|
|
Human-Centered Artificial Intelligence (Dagstuhl Seminar 22262)Mackay, Wendy E. ; Shawe-Taylor, John ; van Harmelen, FrankSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2023Texto completo disponível |
Resultados de 1 a 10 de 2.690 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
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Computer Programming And Software (2.073)
- Computer Programming (1.407)
- Computer Logic (1.384)
- Computer Hardware (780)
- Mathematical Logic (618)
- Programming Languages (594)
- Computer Programs (574)
- Algorithms (534)
- Digital Computers (375)
- Data Processing (354)
- Theses (344)
- Logic (344)
- Logic Circuits (334)
- Artificial Intelligence (302)
- Computers (266)
- Semantics (253)
- Compilers (241)
- Memory Devices (237)
- Mathematical Models (224)
- Syntax (201)
-
Mais opções
Data de Publicação
- Antes de1965 (308)
- 1965Até1978 (1.206)
- 1979Até1992 (653)
- 1993Até2007 (403)
- Após 2007 (126)
-
Mais opções
Base de Dados/Biblioteca
- DTIC Technical Reports (2.664)
- DataCite (23)
- EZB* (13)
- CU Boulder Online Holdings (1)
- Gale Academic OneFile Select (1)
- Business Source Complete - EBSCO (1)
- Fraunhofer-ePrints (1)
- US Government Documents (1)
- HeinOnline Federal Register Library (1)
- Recercat (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 