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

Challenges for Action Theories

Michael Thielscher

Springer Berlin Heidelberg 2000

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

2
Learning Language in Logic
Learning Language in Logic
Material Type:
Livro
Adicionar ao Meu Espaço

Learning Language in Logic

James Cussens James Cussens; Sašo Džeroski

Springer Berlin Heidelberg 2000

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

3
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
Material Type:
Livro
Adicionar ao Meu Espaço

A Tight, Practical Integration of Relations and Functions

Harold Boley

Springer Berlin Heidelberg 1999

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

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

5
Programming with constraints an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Programming with constraints an introduction

Kim Marriott Peter J Stuckey

Cambridge, Mass. MIT Press c1998

Localização: IME - Inst. Matemática e Estatística    (QA754 M359p )(Acessar)

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

7
Dynamic logic
Material Type:
Livro
Adicionar ao Meu Espaço

Dynamic logic

David Harel 1950- Dexter Kozen 1951-; Jerzy Tiuryn

Cambridge, Mass MIT Press 2000

Localização: IME - Inst. Matemática e Estatística    (QA860 H275d )(Acessar)

8
What is a logical system?
Material Type:
Livro
Adicionar ao Meu Espaço

What is a logical system?

Dov M Gabbay 1945-

Oxford Clarendon Press New York Oxford University Press 1994

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

9
Constraint satisfaction in logic programming
Material Type:
Livro
Adicionar ao Meu Espaço

Constraint satisfaction in logic programming

Pascal Van Hentenryck

Cambridge, Mass. MIT Press c1989

Localização: IME - Inst. Matemática e Estatística    (QA754 V255c )(Acessar)

10
Discrete structures, logic, and computability
Material Type:
Livro
Adicionar ao Meu Espaço

Discrete structures, logic, and computability

James L. Hein

Sudbury, Mass. Jones and Bartlett Publishers c2010

Emprestado de EPEL - Esc. Politécnica-Bib Eng Eletr    (004 H364d3 )(Acessar)

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 (16.599)
  2. Recursos Online (44.756)
  3. Disponível na Biblioteca (89)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (25.620)
  2. Anais de Congresso  (15.010)
  3. Book Chapters  (1.941)
  4. Livros  (1.764)
  5. Relatórios Técnicos  (170)
  6. Dissertações  (133)
  7. Resenhas  (49)
  8. Recursos Textuais  (19)
  9. Artigos de Jornal  (2)
  10. Verbetes  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (233)
  2. 1960Até1974  (934)
  3. 1975Até1989  (2.573)
  4. 1990Até2005  (13.794)
  5. Após 2005  (27.250)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (37.478)
  2. Francês  (28)
  3. Espanhol  (18)
  4. Português  (15)
  5. Alemão  (13)
  6. Japonês  (7)
  7. Russo  (5)
  8. Chinês  (3)
  9. Tcheco  (2)
  10. Polonês  (1)
  11. Norueguês  (1)
  12. Indeterminado  (1)
  13. Mais opções open sub menu

Nome da Publicação 

  1. arXiv.org  (3.677)
  2. Electronic Proceedings in Theoretical Computer Science  (1.336)
  3. Electronic Proceedings in Theoretical Computer Science, EPTCS  (1.078)
  4. Logical Methods In Computer Science  (808)
  5. Theoretical Computer Science  (586)
  6. Electronic Notes in Theoretical Computer Science  (556)
  7. Expert systems with applications  (323)
  8. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (321)
  9. Artificial Intelligence  (225)
  10. Information and Computation  (183)
  11. Information Processing Letters  (162)
  12. Mathematical Structures in Computer Science  (101)
  13. Theory And Practice Of Logic Programming  (95)
  14. Journal of Automated Reasoning  (69)
  15. Journal of logic and computation  (59)
  16. Annals of Pure and Applied Logic  (57)
  17. Leibniz International Proceedings in Informatics, LIPIcs  (52)
  18. Journal of Logical and Algebraic Methods in Programming  (10)
  19. Scientific Annals of Computer Science  (9)
  20. JISTEM - Journal of Information Systems and Technology Management (Online)  (2)
  21. Lecture Notes in Artificial Intelligence  (2)
  22. Revista Contabilidade & Finanças  (1)
  23. Revista UNINGÁ Review  (1)
  24. REGE Revista de Gestão  (1)
  25. Revista Estudos Culturais  (1)
  26. Literatura e Sociedade  (1)
  27. Ergonomics  (1)
  28. Filologia e Linguística Portuguesa  (1)
  29. Revista Fundações e Obras Geotécnicas  (1)
  30. Revista de Direito Sanitário  (1)
  31. Oculum ensaios  (1)
  32. Cadernos Espinosanos  (1)
  33. Revista Brasileira de Reprodução Animal  (1)
  34. Opiniães  (1)
  35. GEOUSP: Espaço e Tempo (Online)  (1)
  36. Revista USP  (1)
  37. Revista científica eletrônica de medicina veterinária  (1)
  38. Revista Brasileira de Medicina  (1)
  39. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finkbeiner, Bernd
  2. Bonchi, Filippo
  3. Dowek, Gilles
  4. Milius, Stefan
  5. Jacobs, Bart

Buscando em bases de dados remotas. Favor aguardar.