skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings

Lomuscio, Alessio ; Nute, Donald Nute, Donald ; Lomuscio, Alessio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
2
Linear Logic in Computer Science
Linear Logic in Computer Science
Linear Logic in Computer Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Linear Logic in Computer Science

William Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.

Cambridge Cambridge University Press 2004

Acesso online. A biblioteca também possui exemplares impressos.

3
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

Nguyên, Lê Thành Dũng ; Straßburger, Lutz

Logical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
4
Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings

Agotnes, Thomas ; Broersen, Jan M ; Elgesem, Dag Elgesem, Dag ; Agotnes, Thomas ; Broersen, Jan M

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
5
Dynamic Cantor Derivative Logic
Dynamic Cantor Derivative Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic Cantor Derivative Logic

Fernández-Duque, David ; Montacute, Yoàv

Logical methods in computer science, 2023-01, Vol.19, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
Proceedings Fourth Annual Symposium on Logic in Computer Science
Proceedings Fourth Annual Symposium on Logic in Computer Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings Fourth Annual Symposium on Logic in Computer Science

Symposium on Logic in Computer Science (4th 1989 Pacific Grove, Calif.) IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Washington, D.C. Computer Society Press 1989

Localização: IME - Inst. Matemática e Estatística    (QA11.7.C S989p 4 )(Acessar)

7
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(Acessar)

8
A duality theoretic view on limits of finite structures: Extended version
A duality theoretic view on limits of finite structures: Extended version
Material Type:
Artigo 		Adicionar ao Meu Espaço

A duality theoretic view on limits of finite structures: Extended version

Gehrke, Mai ; Jakl, Tomáš ; Reggio, Luca

Logical methods in computer science, 2022-01, Vol.18, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
9
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

Chouquet, Jules ; Auclair, Lionel Vaux

Logical methods in computer science, 2021-12, Vol.17, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
10
Impure Simplicial Complexes: Complete Axiomatization
Impure Simplicial Complexes: Complete Axiomatization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Impure Simplicial Complexes: Complete Axiomatization

Randrianomentsoa, Rojo ; van Ditmarsch, Hans ; Kuznets, Roman

Logical methods in computer science, 2023-10, Vol.19, Issue 4 (4) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (845.177)
  2. Revistas revisadas por pares (526.149)
  3. Disponível na Biblioteca (535)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (582.417)
  2. Anais de Congresso  (110.966)
  3. Book Chapters  (52.632)
  4. magazinearticle  (40.163)
  5. Newsletter Articles  (21.542)
  6. Verbetes  (12.461)
  7. Resenhas  (11.659)
  8. Livros  (9.776)
  9. Reports  (2.196)
  10. Artigos de Jornal  (1.113)
  11. Dissertações  (328)
  12. Conjunto de Dados  (119)
  13. Recursos Textuais  (86)
  14. Standards  (57)
  15. Videos  (51)
  16. Web Resources  (30)
  17. Imagens  (20)
  18. Outros  (19)
  19. Produções Acadêmicas  (8)
  20. Archival Material / Manuscripts  (6)
  21. Produções Técnicas  (3)
  22. Revistas  (3)
  23. Documentos Governamentais  (1)
  24. Mais opções open sub menu

Assunto 

  1. Science & Technology  (411.471)
  2. Technology  (332.358)
  3. Computer Science  (240.385)
  4. Engineering  (160.322)
  5. Social Sciences  (97.696)
  6. Engineering, Electrical & Electronic  (92.394)
  7. Physical Sciences  (84.119)
  8. Algorithms  (76.639)
  9. Computer Science, Theory & Methods  (67.408)
  10. Computer Science, Artificial Intelligence  (65.120)
  11. Artificial Intelligence  (62.369)
  12. Life Sciences & Biomedicine  (56.866)
  13. Computer Science, Information Systems  (55.604)
  14. Exact Sciences And Technology  (52.362)
  15. Fuzzy Logic  (50.036)
  16. Mathematics  (47.758)
  17. Studies  (45.305)
  18. Software  (44.871)
  19. Applied Sciences  (42.711)
  20. Computer Science, Software Engineering  (40.791)
  21. Logic Programming  (9.338)
  22. Computer Logic  (1.924)
  23. Logic, Symbolic And Mathematical  (1.340)
  24. Automatic Theorem Proving  (274)
  25. Inteligência Artificial  (153)
  26. Logic, Symbolic And Mathematical  (106)
  27. Logic Programming  (94)
  28. Lógica Matemática  (87)
  29. Lógica Matemática  (72)
  30. Metodologia E Técnicas De Computação  (60)
  31. Teoria Da Computação  (51)
  32. Inteligência Artificial (Congressos)  (47)
  33. Inteligência Artificial  (46)
  34. Automatic Theorem Proving  (44)
  35. Ciência Da Computação  (36)
  36. Técnicas De Programação (Congressos)  (35)
  37. Programação Lógica  (35)
  38. Programação Lógica (Congressos)  (34)
  39. Técnicas De Programação  (33)
  40. Computer Logic  (33)
  41. Lógica Matemática (Congressos)  (31)
  42. Linguagem De Programação  (23)
  43. Arquitetura E Organização De Computadores  (22)
  44. Computabilidade E Complexidade  (19)
  45. Linguagem De Programação  (13)
  46. Teoria Da Computação  (9)
  47. Programação Lógica  (9)
  48. Ciência Da Computação  (7)
  49. Arquitetura E Organização De Computadores  (7)
  50. Técnicas De Programação  (5)
  51. Computabilidade E Complexidade  (3)
  52. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (546)
  2. 1961Até1976  (7.209)
  3. 1977Até1992  (37.304)
  4. 1993Até2009  (274.503)
  5. Após 2009  (532.997)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (838.573)
  2. Espanhol  (5.546)
  3. Português  (4.643)
  4. Japonês  (2.279)
  5. Alemão  (2.174)
  6. Ndongo  (1.639)
  7. Francês  (1.035)
  8. Chinês  (533)
  9. Italiano  (417)
  10. Russo  (401)
  11. Norueguês  (326)
  12. Tcheco  (135)
  13. Turco  (123)
  14. Polonês  (116)
  15. Coreano  (113)
  16. Croatian  (110)
  17. Africâner  (94)
  18. Lituano  (93)
  19. Ucraniano  (92)
  20. Árabe  (91)
  21. Indeterminado  (5)
  22. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.