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
Refinado por: data de publicação: 1993Até2009 remover
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
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Pacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, Jerzy

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
4
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)

5
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

6
Deontic Logic, Agency and Normative Systems: EON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 - 13 January 1996
Deontic Logic, Agency and Normative Systems: EON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 - 13 January 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Deontic Logic, Agency and Normative Systems: EON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 - 13 January 1996

Brown, Mark A ; Carmo, Jose

London: Springer London, Limited 1995

Texto completo disponível

Citações Citado por
7
Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996

Brown, Mark A ; Carmo, José Brown, Mark A. ; Carmo, José

London: Springer London 1996

Texto completo disponível

Citações Citado por
8
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Bergman, Clifford H ; Maddux, Roger D ; Pigozzi, Don L Pigozzi, Don L. ; Maddux, Roger D. ; Bergman, Clifford H.

New York, NY: Springer New York 1990

Texto completo disponível

Citações Citado por
9
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Börger, Egon ; Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M. ; Börger, Egon

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
10
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings

Marcinkowski, Jerzy Tarlecki, Andrzej ; Marcinkowski, Jerzy

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

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 (271.650)
  2. Revistas revisadas por pares (135.264)
  3. Disponível na Biblioteca (379)

Assunto 

  1. Science & Technology  (109.993)
  2. Technology  (94.822)
  3. Computer Science  (77.505)
  4. Engineering  (39.936)
  5. Exact Sciences And Technology  (35.604)
  6. Applied Sciences  (29.589)
  7. Engineering, Electrical & Electronic  (28.176)
  8. Social Sciences  (24.810)
  9. Computer Science, Theory & Methods  (23.042)
  10. Computer Science, Artificial Intelligence  (21.025)
  11. Computer Science; Control Theory; Systems  (20.689)
  12. Software  (20.165)
  13. Studies  (19.727)
  14. Physical Sciences  (17.827)
  15. Computer Science, Hardware & Architecture  (16.389)
  16. Mathematics  (16.154)
  17. Logic  (15.740)
  18. Computer Science, Software Engineering  (15.179)
  19. Artificial Intelligence  (15.172)
  20. Fuzzy Logic  (13.969)
  21. Logic Programming  (4.628)
  22. Computer Logic  (799)
  23. Logic, Symbolic And Mathematical  (613)
  24. Automatic Theorem Proving  (154)
  25. Inteligência Artificial  (128)
  26. Logic Programming  (76)
  27. Logic, Symbolic And Mathematical  (68)
  28. Lógica Matemática  (63)
  29. Lógica Matemática  (55)
  30. Inteligência Artificial (Congressos)  (45)
  31. Automatic Theorem Proving  (33)
  32. Computer Logic  (33)
  33. Inteligência Artificial  (32)
  34. Técnicas De Programação (Congressos)  (30)
  35. Programação Lógica (Congressos)  (30)
  36. Metodologia E Técnicas De Computação  (28)
  37. Lógica Matemática (Congressos)  (28)
  38. Ciência Da Computação  (25)
  39. Programação Lógica  (25)
  40. Teoria Da Computação  (24)
  41. Técnicas De Programação  (19)
  42. Natural Language Processing (Computer Science)  (16)
  43. Knowledge Representation (Information Theory)  (16)
  44. Teoria Da Computação  (8)
  45. Programação Lógica  (7)
  46. Ciência Da Computação  (5)
  47. Técnicas De Programação  (5)
  48. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (22)
  2. 1990Até1996  (28.963)
  3. 1997Até2003  (106.096)
  4. 2004Até2011  (143.040)
  5. Após 2011  (185)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (270.757)
  2. Japonês  (12.155)
  3. Ndongo  (652)
  4. Espanhol  (562)
  5. Alemão  (506)
  6. Português  (300)
  7. Francês  (198)
  8. Chinês  (98)
  9. Russo  (93)
  10. Italiano  (22)
  11. Norueguês  (16)
  12. Árabe  (14)
  13. Turco  (12)
  14. Esloveno  (12)
  15. Tcheco  (11)
  16. Catalão  (10)
  17. Interlingue  (10)
  18. Croatian  (10)
  19. Coreano  (7)
  20. Indonésio  (6)
  21. Indeterminado  (2)
  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.