Resultados de 1 a 10 de 48.924 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
|
|
Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032)Barcelo, Pablo ; Bourhis, Pierre ; Mengel, Stefan ; Roy, SudeepaSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2024Texto completo disponível |
| 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
|
|
From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021)Blechschmidt, Ingo ; Ishihara, Hajime ; Schuster, Peter M. ; Buriola, GabrieleSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2024Texto completo disponível |
| 4 |
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 |
| 5 |
Material Type: Report
|
|
Computational Social Dynamics (Dagstuhl Seminar 22452)Hoefer, Martin ; Oren, Sigal ; Wattenhofer, Roger ; Varricchio, GiovannaSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2023Texto completo disponível |
| 6 |
Material Type: Report
|
|
SAT and Interactions (Dagstuhl Seminar 20061)Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, CláudiaSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2020Texto completo disponível |
| 7 |
Material Type: Report
|
|
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371)Bläser, Markus ; Kabanets, Valentine ; Shaltiel, Ronen ; Torán, JacoboSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2023Texto completo disponível |
| 8 |
Material Type: Report
|
|
Unambiguity in Automata Theory (Dagstuhl Seminar 21452)Colcombet, Thomas ; Quaas, Karin ; Skrzypczak, MichałSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
| 9 |
Material Type: Report
|
|
Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391)Král’, Daniel ; Pilipczuk, Michał ; Siebertz, Sebastian ; Sullivan, Blair D.Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
| 10 |
Material Type: Report
|
|
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)Atserias, Albert ; Berkholz, Christoph ; Etessami, Kousha ; Ochremiak, JoannaSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
Resultados de 1 a 10 de 48.924 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
- Theory (14.655)
- Mathematical Models (5.665)
- Operations Research (4.513)
- Theses (4.161)
- Statistics And Probability (3.801)
- Algorithms (3.694)
- Optimization (3.682)
- Information Theory (3.583)
- Theoretical Mathematics (3.222)
- Quantum Theory (3.222)
- Control Theory (3.158)
- Cybernetics (3.003)
- Quantum Theory And Relativity (2.825)
- Computer Programming And Software (2.757)
- Theorems (2.707)
- Game Theory (2.687)
- Numerical Mathematics (2.619)
- Probability (2.599)
- Fluid Mechanics (2.591)
- Decision Making (2.576)
-
Mais opções
Data de Publicação
- Antes de1961 (2.414)
- 1961Até1975 (21.046)
- 1976Até1990 (12.015)
- 1991Até2006 (8.162)
- Após 2006 (5.420)
-
Mais opções
Base de Dados/Biblioteca
- DTIC Technical Reports (47.570)
- DataCite (747)
- EZB* (303)
- IngentaConnect Journals (164)
- Brage Consortium Repository (144)
- Taylor & Francis (121)
- Publisher or Other Site (114)
- American Physical Society (112)
- PROLA (108)
- DOAJ Directory of Open Access Journals (106)
- SCOAP3_高能物理OA刊 (105)
- Taylor & Francis Journals Complete (102)
- Taylor & Francis Open access Read & Publish (98)
- Emerald Journals (95)
- SpringerLink (Online service) (92)
- Academic Search Premier (87)
- Emerald Backfiles (68)
- ROAD: Directory of Open Access Scholarly Resources (66)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (66)
- Academic OneFile (63)
-
Mais opções
Idioma
- Inglês (48.829)
- Norueguês (59)
- Bokmål, Norwegian (30)
- Alemão (27)
- Norueguês (Nynorsk) (4)
- Francês (3)
- Catalão (3)
- Português (1)
- Espanhol (1)
- Holandês (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 