skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

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

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

4
Deontic Logic in Computer Science
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 Donald Nute

Springer Berlin / Heidelberg 2004

Acesso online

5
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings

International Workshop on Deontic Logic in Computer Science (8th 2006 Utrecht, Netherlands) Lou Goble; John-Jules Ch Meyer

Berlin Springer-Verlag New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.4048 ) e outros locais(Acessar)

6
Mathematical logic in computer science papers
Mathematical logic in computer science papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical logic in computer science papers

Colloquium on Mathematical Logic in Computer Science (1978 Salgotarjan) B Domolki; Gergely, T.; Colloquia Mathematica Societatis Janos Bolyai, 26, Salgotarjan, 1978 (26. 1978 Salgotarjan)

Amsterdam North-Holland 1981

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

7
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

International Workshop on Deontic Logic in Computer Science (7th 2004 Madeira, Portugal) Alessio Lomuscio; Donald Nute 1947

Berlin Springer New York c2004

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

8
Logic in computer science modelling and reasoning about systems
Logic in computer science modelling and reasoning about systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic in computer science modelling and reasoning about systems

Michael Huth Mark Ryan

Cambridge u.a Cambridge University Press 2004

Localização: IME - Inst. Matemática e Estatística    (QA11.7 H979L 2.ed. e.8 )(Acessar)

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

Deontic Logic in Computer Science

David Hutchison Takeo Kanade; Jan M Broersen; Dag Elgesem

Springer Berlin Heidelberg 2012

Acesso online

10
Algebra, combinatorics and logic in computer science proceedings
Algebra, combinatorics and logic in computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebra, combinatorics and logic in computer science proceedings

Colloquia Mathematica Societatis Janos Bolyai (42. 1983 Budapest) Janos Demetrovics; Katona, Gyula; Salomaa, Arto; Colloquium on Algebra, Combinatorics and Logic inComputer Science (1983 : Gyor)

Amsterdam North-Holland 1986

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

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 (860.695)
  2. Revistas revisadas por pares (644.335)
  3. Disponível na Biblioteca (535)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (673.697)
  2. Book Chapters  (211.272)
  3. Anais de Congresso  (187.105)
  4. magazinearticle  (44.834)
  5. Livros  (26.523)
  6. Newsletter Articles  (24.191)
  7. Verbetes  (14.481)
  8. Resenhas  (11.887)
  9. Dissertações  (9.271)
  10. Reports  (5.815)
  11. Artigos de Jornal  (4.589)
  12. Recursos Textuais  (500)
  13. Conjunto de Dados  (256)
  14. Standards  (122)
  15. Web Resources  (107)
  16. Patentes  (87)
  17. Imagens  (75)
  18. Videos  (51)
  19. Outros  (23)
  20. Produções Acadêmicas  (8)
  21. Archival Material / Manuscripts  (6)
  22. Produções Técnicas  (3)
  23. Revistas  (3)
  24. Mais opções open sub menu

Assunto 

  1. Science & Technology  (520.705)
  2. Technology  (432.495)
  3. Computer Science  (339.350)
  4. Engineering  (201.594)
  5. Social Sciences  (121.178)
  6. Engineering, Electrical & Electronic  (115.075)
  7. Computer Science, Theory & Methods  (105.431)
  8. Physical Sciences  (98.572)
  9. Algorithms  (98.031)
  10. Computer Science, Artificial Intelligence  (96.110)
  11. Artificial Intelligence  (90.548)
  12. Computer Science, Information Systems  (75.546)
  13. Fuzzy Logic  (67.730)
  14. Life Sciences & Biomedicine  (65.188)
  15. Exact Sciences And Technology  (59.958)
  16. Mathematics  (59.893)
  17. Software  (56.963)
  18. Computer Science, Software Engineering  (53.909)
  19. Applied Sciences  (50.071)
  20. Logic  (49.467)
  21. Logic Programming  (10.942)
  22. Computer Logic  (3.074)
  23. Logic, Symbolic And Mathematical  (2.638)
  24. Automatic Theorem Proving  (387)
  25. Inteligência Artificial  (152)
  26. Inteligência Artificial  (107)
  27. Logic, Symbolic And Mathematical  (106)
  28. Lógica Matemática  (101)
  29. Logic Programming  (94)
  30. Lógica Matemática  (87)
  31. Metodologia E Técnicas De Computação  (60)
  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  (19)
  44. Ciência Da Computação  (14)
  45. Programação Lógica  (13)
  46. Teoria Da Computação  (12)
  47. Técnicas De Programação  (5)
  48. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1961  (652)
  2. 1961Até1976  (9.593)
  3. 1977Até1992  (55.154)
  4. 1993Até2009  (342.137)
  5. Após 2009  (826.075)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.201.271)
  2. Japonês  (34.788)
  3. Espanhol  (5.890)
  4. Português  (4.802)
  5. Chinês  (4.643)
  6. Alemão  (3.877)
  7. Francês  (2.768)
  8. Russo  (666)
  9. Italiano  (455)
  10. Norueguês  (354)
  11. Tcheco  (221)
  12. Polonês  (214)
  13. Turco  (198)
  14. Coreano  (177)
  15. Árabe  (150)
  16. Ucraniano  (123)
  17. Lituano  (118)
  18. Interlingue  (117)
  19. Croatian  (110)
  20. Eslovaco  (100)
  21. Mais opções open sub menu

Nome da Publicação 

  1. Arxiv.Org  (23.094)
  2. Arxiv  (18.356)
  3. Soft Computing  (8.801)
  4. Electronic Engineering Times  (5.486)
  5. Journal Of Physics. Conference Series  (4.915)
  6. Sensors  (4.838)
  7. Journal Of Physics: Conference Series  (4.606)
  8. Electronics  (4.158)
  9. Plos One  (4.152)
  10. Applied Sciences  (3.800)
  11. Theoretical Computer Science  (2.566)
  12. Electronic Notes In Theoretical Computer Science  (1.715)
  13. Lecture Notes In Computer Science  (859)
  14. Mathematical Structures In Computer Science  (810)
  15. Lecture Notes In Artificial Intelligence  (41)
  16. Logic Programming  (39)
  17. Lecture Notes in Computer Science  (18)
  18. Proceedings  (17)
  19. Communications In Computer And Information Science  (10)
  20. Proceedings  (8)
  21. Electronic Notes in Theoretical Computer Science  (5)
  22. Lecture Notes in Artificial Intelligence  (4)
  23. Theoretical Computer Science  (2)
  24. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday  (2)
  25. Journal of Artificial Society and Social Simulation  (2)
  26. Mathematical Structures in Computer Science  (1)
  27. Logic Programming  (1)
  28. Symbolic and quantitative approaches to reasoning with bncertainty: Proceedings  (1)
  29. Advances in contemporary logic and computer science  (1)
  30. South American Journal Of Logic  (1)
  31. Theoretical computer science Part B Logic, semantics and theory of programming  (1)
  32. The Review Of Modern Logic  (1)
  33. Modern logic  (1)
  34. The review of modern logic  (1)
  35. Communications in Computer and Information Science  (1)
  36. South American Journal of Logic  (1)
  37. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I  (1)
  38. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.