skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
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.

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 (148.313)
  2. Revistas revisadas por pares (84.469)
  3. Disponível na Biblioteca (90)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (99.608)
  2. Anais de Congresso  (38.427)
  3. Book Chapters  (4.565)
  4. Livros  (4.338)
  5. magazinearticle  (1.003)
  6. Reports  (190)
  7. Newsletter Articles  (67)
  8. Resenhas  (57)
  9. Videos  (38)
  10. Conjunto de Dados  (23)
  11. Verbetes  (23)
  12. Dissertações  (22)
  13. Recursos Textuais  (14)
  14. Web Resources  (4)
  15. Imagens  (4)
  16. Artigos de Jornal  (3)
  17. Mais opções open sub menu

Assunto 

  1. Science & Technology  (114.239)
  2. Technology  (109.196)
  3. Computer Science  (107.384)
  4. Engineering  (56.131)
  5. Engineering, Electrical & Electronic  (39.779)
  6. Computer Science, Artificial Intelligence  (36.319)
  7. Fuzzy Logic  (31.374)
  8. Computer Science, Theory & Methods  (30.521)
  9. Logic  (27.436)
  10. Artificial Intelligence  (23.958)
  11. Algorithms  (21.335)
  12. Exact Sciences And Technology  (19.635)
  13. Computer Science, Information Systems  (18.746)
  14. Computer Science, Hardware & Architecture  (17.651)
  15. Computer Science, Interdisciplinary Applications  (17.172)
  16. Computer Science - Logic In Computer Science  (16.828)
  17. Applied Sciences  (16.123)
  18. Physical Sciences  (15.369)
  19. Mathematics  (14.260)
  20. Computer Science, Software Engineering  (13.585)
  21. Logic Programming  (6.641)
  22. Graph Theory  (1.297)
  23. Logic, Symbolic And Mathematical  (1.098)
  24. Lógica Matemática  (49)
  25. Logic Diagrams  (33)
  26. Logic, Symbolic And Mathematical  (31)
  27. Inteligência Artificial  (29)
  28. Logic Programming  (26)
  29. Inteligência Artificial  (23)
  30. Natural Language Processing (Computer Science)  (15)
  31. Lógica Matemática  (14)
  32. Inteligência Artificial (Congressos)  (12)
  33. Knowledge Representation (Information Theory)  (11)
  34. Conceptual Structures (Information Theory)  (10)
  35. Constraint Programming (Computer Science)  (10)
  36. Logic Diagrams  (10)
  37. Graph Theory  (10)
  38. Neural Networks (Computer Science)  (8)
  39. Metodologia E Técnicas De Computação  (8)
  40. Functional Programming (Computer Science)  (7)
  41. Programação Lógica (Congressos)  (7)
  42. Teoria Da Computação  (7)
  43. Engenharia De Programas  (6)
  44. Expert Systems (Computer Science)  (6)
  45. Teoria Da Computação  (5)
  46. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1965  (83)
  2. 1965Até1978  (859)
  3. 1979Até1992  (5.969)
  4. 1993Até2007  (40.707)
  5. Após 2007  (103.255)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (148.330)
  2. Japonês  (6.024)
  3. Português  (139)
  4. Alemão  (125)
  5. Espanhol  (99)
  6. Chinês  (50)
  7. Francês  (47)
  8. Norueguês  (17)
  9. Interlingue  (13)
  10. Russo  (12)
  11. Coreano  (9)
  12. Turco  (8)
  13. Italiano  (4)
  14. Polonês  (3)
  15. Indeterminado  (2)
  16. Árabe  (2)
  17. Croatian  (2)
  18. Tcheco  (1)
  19. Catalão  (1)
  20. Africâner  (1)
  21. Dinamarquês  (1)
  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.