skip to main content
Idioma:
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
Challenges for Action Theories
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.

3
Learning Language in Logic
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
Discrete structures, logic, and computability
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)

5
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3 - 7, 2007 ; revised lectures

Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcock; Pernambuco Summer School on Software Engineering 2007 Recife; PSSE (2 2007.12.03-07 Recife); Pernambuco Summer School on Software Engineering (2 2007.12.03-07 Recife)

Berlin u.a. Springer 2010

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

6
Logic of Computation
Logic of Computation
Logic of Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic of Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1997

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

7
Handbook of Logic and Language
Handbook of Logic and Language
Handbook of Logic and Language
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of Logic and Language

J. van Benthem J. F. A. K. van Benthem; Johan van Benthem; Alice G. B. ter Meulen; A ter Meulen; Alice Ter Meulen; Johan F Van Benthem

North-Holland 1997

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

8
A Tight, Practical Integration of Relations and Functions
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.

9
Logic and information flow
Logic and information flow
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and information flow

J. van Eijck (Jan); Albert Visser

Cambridge, Mass. MIT Press c1994

Localização: EPBC - Esc. Politécnica-Bib Central    (004 L829 ) e outros locais(Acessar)

10
Constraint solving and language processing first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3 2004 : revised selected and invited papers
Constraint solving and language processing first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3 2004 : revised selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraint solving and language processing first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3 2004 : revised selected and invited papers

CSLP 2004 (2004 Roskilde, Denmark) Henning Christiansen 1955; Peter Rossen Skadhauge; J rgen Villadsen

Berlin Springer New York c2005

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (152.828)
  2. Revistas revisadas por pares (100.226)
  3. Disponível na Biblioteca (90)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (106.475)
  2. Anais de Congresso  (68.313)
  3. Livros  (14.417)
  4. Book Chapters  (9.919)
  5. Reports  (2.582)
  6. Dissertações  (1.118)
  7. magazinearticle  (1.069)
  8. Recursos Textuais  (155)
  9. Resenhas  (85)
  10. Newsletter Articles  (72)
  11. Patentes  (44)
  12. Videos  (36)
  13. Conjunto de Dados  (33)
  14. Imagens  (29)
  15. Verbetes  (25)
  16. Web Resources  (11)
  17. Artigos de Jornal  (4)
  18. Standards  (1)
  19. Mais opções open sub menu

Assunto 

  1. Computer Science  (150.446)
  2. Science & Technology  (146.721)
  3. Technology  (141.319)
  4. Engineering  (72.306)
  5. Engineering, Electrical & Electronic  (50.613)
  6. Computer Science, Artificial Intelligence  (48.079)
  7. Computer Science, Theory & Methods  (44.360)
  8. Fuzzy Logic  (37.780)
  9. Artificial Intelligence  (36.190)
  10. Logic  (33.805)
  11. Algorithms  (30.437)
  12. Computer Science, Information Systems  (25.312)
  13. Computer Science, Hardware & Architecture  (22.272)
  14. Exact Sciences And Technology  (21.873)
  15. Computer Science, Interdisciplinary Applications  (20.147)
  16. Mathematics  (20.027)
  17. Logic Gates  (19.026)
  18. Physical Sciences  (18.946)
  19. Computer Science, Software Engineering  (18.752)
  20. Applied Sciences  (18.331)
  21. Logic Programming  (7.836)
  22. Logic, Symbolic And Mathematical  (2.149)
  23. Graph Theory  (1.568)
  24. Programmation Logique  (192)
  25. Inteligência Artificial  (74)
  26. Lógica Matemática  (67)
  27. Logic Diagrams  (56)
  28. Logic, Symbolic And Mathematical  (31)
  29. Inteligência Artificial  (28)
  30. Logic Programming  (26)
  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. Neural Networks (Computer Science)  (8)
  40. Metodologia E Técnicas De Computação  (8)
  41. Functional Programming (Computer Science)  (7)
  42. Teoria Da Computação  (7)
  43. Programação Lógica (Congressos)  (7)
  44. Teoria Da Computação  (7)
  45. Programmation Logique  (6)
  46. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1966  (122)
  2. 1966Até1980  (1.685)
  3. 1981Até1995  (15.472)
  4. 1996Até2011  (68.768)
  5. Após 2011  (122.874)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (203.434)
  2. Japonês  (6.526)
  3. Francês  (602)
  4. Alemão  (515)
  5. Português  (187)
  6. Espanhol  (126)
  7. Interlingue  (117)
  8. Chinês  (78)
  9. Turco  (25)
  10. Russo  (20)
  11. Norueguês  (18)
  12. Árabe  (14)
  13. Italiano  (11)
  14. Coreano  (10)
  15. Polonês  (3)
  16. Croatian  (2)
  17. Sueco  (2)
  18. Tcheco  (1)
  19. Catalão  (1)
  20. Africâner  (1)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.