skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar solo
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:
Libro 		Añadir a Mi Portal

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 disponible

Citas Citado por
2
Linear Logic in Computer Science
Linear Logic in Computer Science
Linear Logic in Computer Science
Material Type:
Libro 		Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

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:
Artículo 		Añadir a Mi Portal

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) [Revista revisada por pares]

Logical Methods in Computer Science Association

Texto completo disponible

Citas 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:
Libro 		Añadir a Mi Portal

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 disponible

Citas Citado por
5
Dynamic Cantor Derivative Logic
Dynamic Cantor Derivative Logic
Material Type:
Artículo 		Añadir a Mi Portal

Dynamic Cantor Derivative Logic

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

Logical methods in computer science, 2023-01, Vol.19, Issue 4 [Revista revisada por pares]

Logical Methods in Computer Science e.V

Texto completo disponible

Citas Citado por
6
Proceedings Fourth Annual Symposium on Logic in Computer Science
Proceedings Fourth Annual Symposium on Logic in Computer Science
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en IME - Inst. Matemática e Estatística    (QA11.7.C S989p 4 )(Obténgalo)

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:
Libro 		Añadir a Mi Portal

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

Disponible en EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(Obténgalo)

8
text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
Material Type:
Artículo 		Añadir a Mi Portal

text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity

Cohen, Liron ; Rahli, Vincent

Logical methods in computer science, 2024-06, Vol.20, Issue 2 [Revista revisada por pares]

Logical Methods in Computer Science e.V

Texto completo disponible

Citas Citado por
9
A duality theoretic view on limits of finite structures: Extended version
A duality theoretic view on limits of finite structures: Extended version
Material Type:
Artículo 		Añadir a Mi Portal

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 [Revista revisada por pares]

Logical Methods in Computer Science Association

Texto completo disponible

Citas Citado por
10
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
Material Type:
Artículo 		Añadir a Mi Portal

Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials

Grädel, Erich ; Lücking, Niels ; Naaf, Matthias

Logical methods in computer science, 2024-03, Vol.20, Issue 1 [Revista revisada por pares]

Logical Methods in Computer Science e.V

Texto completo disponible

Citas Citado por
Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (858.709)
  2. Revistas arbitradas (534.778)
  3. Disponible (535)

Materia 

  1. Science & Technology  (422.325)
  2. Technology  (340.212)
  3. Computer Science  (245.268)
  4. Engineering  (164.798)
  5. Social Sciences  (99.180)
  6. Engineering, Electrical & Electronic  (95.095)
  7. Physical Sciences  (87.183)
  8. Algorithms  (79.354)
  9. Computer Science, Theory & Methods  (70.512)
  10. Computer Science, Artificial Intelligence  (66.991)
  11. Artificial Intelligence  (65.637)
  12. Life Sciences & Biomedicine  (58.105)
  13. Computer Science, Information Systems  (57.712)
  14. Exact Sciences And Technology  (51.698)
  15. Fuzzy Logic  (51.230)
  16. Mathematics  (48.446)
  17. Software  (46.103)
  18. Studies  (44.486)
  19. Applied Sciences  (42.083)
  20. Logic  (40.762)
  21. Logic Programming  (9.275)
  22. Computer Logic  (1.913)
  23. Logic, Symbolic And Mathematical  (1.455)
  24. Automatic Theorem Proving  (271)
  25. Inteligência Artificial  (152)
  26. Logic, Symbolic And Mathematical  (106)
  27. Logic Programming  (94)
  28. Lógica Matemática  (87)
  29. Lógica Matemática  (73)
  30. Metodologia E Técnicas De Computação  (60)
  31. Inteligência Artificial  (57)
  32. Teoria Da Computação  (51)
  33. Inteligência Artificial (Congressos)  (47)
  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. Linguagem De Programação  (13)
  44. Teoria Da Computação  (9)
  45. Programação Lógica  (9)
  46. Ciência Da Computação  (7)
  47. Técnicas De Programação  (5)
  48. Más opciones open sub menu

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de1961  (469)
  2. 1961Hasta1976  (6.239)
  3. 1977Hasta1992  (36.261)
  4. 1993Hasta2009  (270.798)
  5. Después de 2009  (551.900)
  6. Más opciones open sub menu

Idioma 

  1. Inglés  (852.173)
  2. Japonés  (31.412)
  3. Español  (5.494)
  4. Portugués  (4.510)
  5. Alemán  (2.164)
  6. Francés  (1.129)
  7. Chino  (529)
  8. Ruso  (417)
  9. Italiano  (416)
  10. Noruego  (318)
  11. Polaco  (156)
  12. Czech  (132)
  13. Turco  (125)
  14. Croatian  (108)
  15. Coreano  (107)
  16. Ucraniano  (99)
  17. Árabe  (97)
  18. Afrikaans  (97)
  19. Lituano  (95)
  20. Latvia  (75)
  21. Más opciones open sub menu

Título revista 

  1. Arxiv.Org  (23.738)
  2. Arxiv  (18.372)
  3. Soft Computing  (8.822)
  4. Electronic Engineering Times  (5.483)
  5. Journal Of Physics. Conference Series  (4.919)
  6. Sensors  (4.806)
  7. Journal Of Physics: Conference Series  (4.613)
  8. Plos One  (4.142)
  9. Electronics  (4.127)
  10. Applied Sciences  (3.771)
  11. Theoretical Computer Science  (2.558)
  12. Electronic Notes In Theoretical Computer Science  (1.709)
  13. Mathematical Structures In Computer Science  (811)
  14. Lecture Notes In Computer Science  (330)
  15. Logic Programming  (39)
  16. Lecture Notes in Computer Science  (18)
  17. Proceedings  (17)
  18. Communications In Computer And Information Science  (10)
  19. Electronic Notes in Theoretical Computer Science  (5)
  20. Lecture Notes In Artificial Intelligence  (4)
  21. Lecture Notes in Artificial Intelligence  (4)
  22. Theoretical Computer Science  (2)
  23. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday  (2)
  24. Journal of Artificial Society and Social Simulation  (2)
  25. Mathematical Structures in Computer Science  (1)
  26. Logic Programming  (1)
  27. Symbolic and quantitative approaches to reasoning with bncertainty: Proceedings  (1)
  28. Proceedings  (1)
  29. Advances in contemporary logic and computer science  (1)
  30. Theoretical computer science Part B Logic, semantics and theory of programming  (1)
  31. The Review Of Modern Logic  (1)
  32. Modern logic  (1)
  33. The review of modern logic  (1)
  34. Communications in Computer and Information Science  (1)
  35. South American Journal of Logic  (1)
  36. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I  (1)
  37. Más opciones open sub menu

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora