Resultados de 1 a 10 de 1.041 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (1.020)
- Revistas revisadas por pares (259)
- Disponível na Biblioteca (24)
Refinado por:
assunto:
Logic, Symbolic And Mathematical
Computer Science
Computer Science
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, ProceedingsBouyer, Patricia ; Schröder, Lutz Schröder, Lutz ; Bouyer, PatriciaCham: Springer Nature 2022Texto completo disponível |
| 2 |
Material Type: Livro
|
|
The Logical Writings of Karl PopperBinder, David ; Piecha, Thomas ; Schroeder-Heister, Peter Schroeder-Heister, Peter ; Piecha, Thomas ; Binder, DavidCham: Springer Nature 2022Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Schaum's Outline of Discrete Mathematics, Fourth EditionLipschutz, Seymour ; Lipson, MarcNew York, N.Y: McGraw Hill LLC 2022Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected PapersCochez, Michael ; Croitoru, Madalina ; Marquis, Pierre ; Rudolph, Sebastian Cochez, Michael ; Rudolph, Sebastian ; Croitoru, Madalina ; Marquis, PierreNetherlands: Springer Nature 2021Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Alan Turing's Systems of Logic: The Princeton ThesisAppel, Andrew WPrinceton University Press 2021Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, ProceedingsPlatzer, André ; Sutcliffe, GeoffNetherlands: Springer Nature 2021Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part ISilva, Alexandra ; Leino, K. Rustan MSpringer Nature 2021Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part IISilva, Alexandra ; Leino, K. Rustan MSpringer Nature 2021Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, ProceedingsKiefer, Stefan ; Tasson, Christine Kiefer, Stefan ; Tasson, ChristineNetherlands: Springer Nature 2021Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, ProceedingsGoubault-Larrecq, Jean ; König, Barbara Goubault-Larrecq, Jean ; König, BarbaraNetherlands: Springer Nature 2020Texto completo disponível |
Resultados de 1 a 10 de 1.041 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr 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
Mostrar Somente
- Recursos Online (1.020)
- Revistas revisadas por pares (259)
- Disponível na Biblioteca (24)
Refinar Meus Resultados
Tipo de Recurso
- Livros (1.015)
- Anais de Congresso (20)
- Artigos (4)
- Dissertações (2)
-
Mais opções
Assunto
- Mathematical Logic (792)
- Mathematical Logic And Formal Languages (645)
- Machine Theory (589)
- Mathematics (549)
- Congresses (540)
- Artificial Intelligence (493)
- Logics And Meanings Of Programs (465)
- Computers (462)
- Computer Logic (448)
- Mathematical Logic And Foundations (442)
- Logic Design (433)
- Electronic Data Processing (340)
- Software Engineering (331)
- Symbolic Logic (325)
- Logic, Universal (324)
- Symbolic And Mathematical Logic (324)
- Algebra Of Logic (324)
- Electronic Brains (281)
- Mathematische Logik (88)
- Lógica Matemática (40)
- Lógica Simbólica (14)
- Logic, Symbolic And Mathematical–Congresses (13)
- Computer Science–Mathematics (11)
- Computer Science–Congresses (10)
- Lógica (9)
- Teoria Da Computação (7)
- Lógica Matemática (6)
- Inteligência Artificial (4)
- Inteligência Artificial (4)
- Ciência Da Computação (3)
- Ciência Da Computação (Congressos) (3)
- Semântica De Programação (3)
- Mathematische Logik (2)
- Lógica Simbólica (2)
- Lógica Simbólica (Congressos) (2)
- Engenharia De Programas (2)
- Inteligência Artificial (Congressos) (2)
- Lógica Matemática (Congressos) (2)
- Lógica (2)
- FroCoS (1)
- Teoria Da Computação (1)
- Ciência Da Computação (1)
- Teoria Dos Jogos (1)
-
Mais opções
Autor/Criador
- Workshop on Computer Science Logic (6)
- Börger, E (6)
- Richter, M (3)
- Kleine Büning, H (3)
- Nerode, A (2)
- LFCS 2007 (1)
- Stanoyevitch, A (1)
- Thomas, W (1)
- Bloom, S (1)
- NATO Advanced Study Institute on Logic of Computation (1)
- Cooper, S (1)
- Hein, J (1)
- J. van Leeuwen (1)
- Wansing, H (1)
- Grädel, E (1)
- Artemov, S (1)
- van Leeuwen, J (1)
- Eijck, J (1)
- Konev, B (1)
- Moschovakis, Y (1)
-
Mais opções
Biblioteca
- IME - Inst. Matemática e Estatística (22)
- ICMC - Inst. Ciên. Mat. Computação (15)
- IFSC - Inst. Física de São Carlos (2)
- FFLCH - Fac. Fil. Let. e Ciências Humanas (1)
- EPBC - Esc. Politécnica-Bib Central (1)
- EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (1)
- FFCLRP - Fac. Fil. Ciên. Let. de R. Preto (1)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (984)
- Lecture Notes in Computer Science Archive (through to 1996) (660)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (625)
- SpringerLINK Lecture Notes in Computer Science (2015) (621)
- Springer Books Online Archive (487)
- SpringerLink Books Lecture Notes in Computer Science Archive (368)
- Springer Nature - Springer Computer Science eBooks 2012 English International (114)
- Springer Nature - Springer Computer Science eBooks 2016 English International (110)
- Springer Nature - Springer Computer Science eBooks 2013 English International (105)
- SpringerLINK Lecture Notes in Computer Science (2012) (104)
- SpringerLINK Lecture Notes in Computer Science (2016) (97)
- SpringerLINK Lecture Notes in Computer Science (2013) (87)
- Springer Nature - Springer Computer Science eBooks 2015 English International (58)
- SpringerLINK Lecture Notes in Computer Science (2014) (56)
- DOAB: Directory of Open Access Books (20)
- OAPEN (19)
- IngentaConnect Journals (16)
- SpringerLink Fully Open Access Books (15)
- Springer Nature - Springer Computer Science eBooks 2014 English International (14)
- Springer Nature - Springer Computer Science eBooks 2011 English International (13)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 