skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Mathematical Logic in Computer Science

Kfoury, Assaf

Texto completo disponível

2
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)

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Linear logic in computer science

William Steingartner ; Andrea Poláková ; Peter Prazňák ; Valerie Novitzká

Journal of Applied Mathematics and Computational Mechanics, 01 March 2015, Vol.14(1), pp.91-100 [Periódico revisado por pares]

Texto completo disponível

4
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)

5
Deontic Logic in Computer Science
Material Type:
Livro
Adicionar ao Meu Espaço

Deontic Logic in Computer Science

International Workshop on Deontic Logic in Computer Science

Springer Berlin / Heidelberg 2004

Acesso online

6
Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

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

Ågotnes, Thomas ; Broersen, Jan ; Elgesem, Dag

Springer Berlin Heidelberg, Berlin, Heidelberg 2012

Texto completo disponível

7
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
Material Type:
Livro
Adicionar ao Meu Espaço

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

Mogavero, Fabio

Atlantis Press, Paris 2013

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008)

van Der Meyden, Ron ; van Der Torre, Leon; van Der Meyden, Ron (Editor) ; van Der Torre, Leon (Editor)

Journal of Applied Logic, 2011, Vol.9(2), pp.81-82 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Hacking nondeterminism with induction and coinduction

Bonchi, Filippo ; Pous, Damien Bonchi, Filippo (Editor)

Communications- ACM, 2015, Vol.58(2), pp.87-95 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Fuzzy Logic in Computer Science
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Fuzzy Logic in Computer Science

Belohlavek, Radim ; Kruse, Rudolf ; Moewes, Christian Blum, Edward K (Editor) ; Aho, Alfred V (Editor)

New York, NY: Springer New York 2011

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (132.532)
  2. Recursos Online (190.525)
  3. Disponível na Biblioteca (509)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (150.960)
  2. Anais de Congresso  (24.839)
  3. Livros  (4.045)
  4. Book Chapters  (2.848)
  5. Resenhas  (2.782)
  6. Relatórios Técnicos  (1.474)
  7. Artigos de Jornal  (1.358)
  8. Verbetes  (1.111)
  9. Dissertações  (624)
  10. Recursos Textuais  (335)
  11. Dados Estatísticos  (19)
  12. Outros  (14)
  13. Produções Acadêmicas  (5)
  14. Produções Técnicas  (3)
  15. Revistas  (3)
  16. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (286)
  2. 1960Até1974  (3.134)
  3. 1975Até1989  (13.319)
  4. 1990Até2005  (55.470)
  5. Após 2005  (116.475)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (174.623)
  2. Alemão  (430)
  3. Espanhol  (404)
  4. Chinês  (394)
  5. Português  (269)
  6. Francês  (228)
  7. Indeterminado  (205)
  8. Japonês  (198)
  9. Russo  (33)
  10. Lituano  (25)
  11. Norueguês  (24)
  12. Italiano  (24)
  13. Turco  (15)
  14. Coreano  (9)
  15. Ucraniano  (6)
  16. Árabe  (4)
  17. Tcheco  (3)
  18. Polonês  (3)
  19. Holandês  (2)
  20. Húngaro  (1)
  21. Romeno  (1)
  22. Mais opções open sub menu

Nome da Publicação 

  1. arXiv.org  (5.769)
  2. Electronic Notes in Theoretical Computer Science  (1.567)
  3. Electronic Proceedings in Theoretical Computer Science  (1.466)
  4. Theoretical Computer Science  (1.293)
  5. Electronic Proceedings in Theoretical Computer Science, EPTCS  (1.144)
  6. Logical Methods In Computer Science  (835)
  7. Proceedings  (648)
  8. Mathematical Structures in Computer Science  (581)
  9. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (556)
  10. Information and Computation  (461)
  11. Journal of Automated Reasoning  (457)
  12. Theory And Practice Of Logic Programming  (445)
  13. Knowledge Engineering Review  (398)
  14. Annals of Pure and Applied Logic  (226)
  15. Information Processing Letters  (223)
  16. Leibniz International Proceedings in Informatics, LIPIcs  (58)
  17. JISTEM - Journal of Information Systems and Technology Management  (46)
  18. Lecture Notes in Computer Science  (38)
  19. Journal of Logical and Algebraic Methods in Programming  (10)
  20. Comunicação & Educação  (6)
  21. Estudos Avançados  (6)
  22. Paisagem e Ambiente  (6)
  23. Revista USP  (6)
  24. Saúde e Sociedade  (5)
  25. Journal of Health Law  (5)
  26. Cadernos de Campo (São Paulo, 1991)  (5)
  27. Scientiae studia  (5)
  28. Revista de italianística  (5)
  29. Estilos da clínica  (5)
  30. Revista de Direito Sanitário  (5)
  31. Significação: Revista de Cultura Audiovisual  (5)
  32. Revista de Medicina  (5)
  33. Via Atlântica  (5)
  34. Teresa  (5)
  35. Cadernos de Literatura em Tradução  (5)
  36. Letras Clássicas  (4)
  37. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences  (3)
  38. Ergonomics  (3)
  39. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Vardi, Moshe Y.
  2. Denecker, Marc
  3. Bruynooghe, Maurice
  4. Venema, Yde
  5. Finkbeiner, Bernd

Buscando em bases de dados remotas. Favor aguardar.