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

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

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: ICMC - Inst. Ciên. Mat. Computação    (68T10.05 M359pc e.1 ) e outros locais(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

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (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. Recursos Online (433.604)
  2. Revistas revisadas por pares (303.061)
  3. Disponível na Biblioteca (90)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (308.253)
  2. Anais de Congresso  (169.373)
  3. Book Chapters  (85.774)
  4. Livros  (11.211)
  5. Reports  (2.895)
  6. magazinearticle  (2.370)
  7. Dissertações  (811)
  8. Resenhas  (403)
  9. Conjunto de Dados  (148)
  10. Recursos Textuais  (119)
  11. Newsletter Articles  (73)
  12. Verbetes  (62)
  13. Patentes  (44)
  14. Videos  (33)
  15. Imagens  (29)
  16. Outros  (6)
  17. Web Resources  (4)
  18. Artigos de Jornal  (4)
  19. Standards  (1)
  20. Mais opções open sub menu

Assunto 

  1. Computer Science  (507.149)
  2. Science & Technology  (336.990)
  3. Technology  (301.997)
  4. Engineering  (154.171)
  5. Fuzzy Logic  (139.521)
  6. Artificial Intelligence  (136.685)
  7. Mathematics  (110.927)
  8. Engineering And Technology  (101.250)
  9. Engineering, Electrical & Electronic  (97.328)
  10. Computer Science, Artificial Intelligence  (91.316)
  11. Electrical Engineering, Electronic Engineering, Information Engineering  (84.814)
  12. Computer Science, Theory & Methods  (80.214)
  13. Structure  (78.560)
  14. Physical Sciences  (69.592)
  15. Probabilistic Logic  (60.915)
  16. Artificial Intelligence & Image Processing  (53.851)
  17. Logic  (50.561)
  18. Exact Sciences And Technology  (50.452)
  19. Computer Science, Information Systems  (49.051)
  20. Algorithms  (48.950)
  21. Logic Programming  (14.109)
  22. Graph Theory  (4.016)
  23. Logic, Symbolic And Mathematical  (2.326)
  24. Logic Diagrams  (84)
  25. Lógica Matemática  (77)
  26. Inteligência Artificial  (54)
  27. Logic, Symbolic And Mathematical  (31)
  28. Inteligência Artificial  (29)
  29. Logic Programming  (26)
  30. Redes Neurais  (22)
  31. Natural Language Processing (Computer Science)  (15)
  32. Lógica Matemática  (14)
  33. Inteligência Artificial (Congressos)  (12)
  34. Knowledge Representation (Information Theory)  (11)
  35. Conceptual Structures (Information Theory)  (10)
  36. Constraint Programming (Computer Science)  (10)
  37. Logic Diagrams  (10)
  38. Graph Theory  (10)
  39. Teoria Da Computação  (9)
  40. Neural Networks (Computer Science)  (8)
  41. Metodologia E Técnicas De Computação  (8)
  42. Functional Programming (Computer Science)  (7)
  43. Programação Lógica (Congressos)  (7)
  44. Teoria Da Computação  (7)
  45. Engenharia De Programas  (6)
  46. Redes Neurais  (6)
  47. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (1.340)
  2. 1960Até1975  (6.214)
  3. 1976Até1991  (32.424)
  4. 1992Até2008  (201.745)
  5. Após 2008  (384.549)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (580.620)
  2. Japonês  (1.724)
  3. Alemão  (1.291)
  4. Chinês  (960)
  5. Ndongo  (864)
  6. Francês  (834)
  7. Russo  (666)
  8. Português  (577)
  9. Espanhol  (306)
  10. Interlingue  (117)
  11. Ucraniano  (115)
  12. Turco  (110)
  13. Árabe  (75)
  14. Indonésio  (73)
  15. Coreano  (60)
  16. Norueguês  (58)
  17. Tcheco  (48)
  18. Polonês  (41)
  19. Croatian  (35)
  20. Italiano  (33)
  21. Indeterminado  (2)
  22. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.