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
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 ; Kleinberg, Jon M Nute, Donald ; Lomuscio, Alessio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

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

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
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
Linear logic in computer science
Material Type:
Livro
Adicionar ao Meu Espaço

Linear logic in computer science

Thomas Ehrhard 1958-; London Mathematical Society

Cambridge Cambridge University Press 2004

Localização: IME - Inst. Matemática e Estatística    (QA9.8.C E33L )(Acessar)

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

8
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.

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

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

Deontic Logic in Computer Science

David Hutchison Takeo Kanade

Springer Berlin Heidelberg 2012

Acesso online

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 (382.096)
  2. Recursos Online (645.455)
  3. Disponível na Biblioteca (520)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (493.911)
  2. Anais de Congresso  (88.738)
  3. Book Chapters  (25.499)
  4. newsletterarticle  (14.683)
  5. Livros  (8.815)
  6. Resenhas  (8.728)
  7. Reports  (1.872)
  8. Artigos de Jornal  (1.578)
  9. Recursos Textuais  (888)
  10. Verbetes  (393)
  11. Dissertações  (342)
  12. Conjunto de Dados  (256)
  13. Videos  (127)
  14. Web Resources  (43)
  15. Imagens  (37)
  16. Revistas  (4)
  17. Outros  (3)
  18. Produções Técnicas  (3)
  19. Standards  (1)
  20. Documentos Governamentais  (1)
  21. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (324)
  2. 1960Até1974  (4.946)
  3. 1975Até1989  (21.986)
  4. 1990Até2005  (196.682)
  5. Após 2005  (448.507)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (641.855)
  2. Espanhol  (3.395)
  3. Japonês  (2.596)
  4. Português  (2.495)
  5. Alemão  (1.498)
  6. Francês  (639)
  7. Chinês  (553)
  8. Italiano  (279)
  9. Russo  (266)
  10. Tcheco  (164)
  11. Coreano  (148)
  12. Norueguês  (142)
  13. Sueco  (92)
  14. Turco  (84)
  15. Lituano  (81)
  16. Africâner  (75)
  17. Letão  (72)
  18. Indonésio  (63)
  19. Esloveno  (62)
  20. Polonês  (58)
  21. Indeterminado  (1)
  22. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.