skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

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

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

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

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

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
Conceptual structures at work 12th International Conference on Conceptual Structures, ICCS 2004 Huntsville, AL, USA, July 19-23, 2004 : proceedings
Conceptual structures at work 12th International Conference on Conceptual Structures, ICCS 2004 Huntsville, AL, USA, July 19-23, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conceptual structures at work 12th International Conference on Conceptual Structures, ICCS 2004 Huntsville, AL, USA, July 19-23, 2004 : proceedings

International Conference on Conceptual Structures (12th 2004 Huntsville, Ala.) Karl Erich Wolff; Heather D Pfeiffer; Harry S Delugach 1953

Berlin Springer New York c2004

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

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

10
Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Relational and Kleene-algebraic methods in computer science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

International Seminar on Relational Methods in Computer Science (7th 2003 Bad Malente, Germany) R Berghammer (Rudolf) 1952-; Bernhard Möller 1953-; Georg Struth; International Workshop on Applications of Kleene Algebra (2nd 2003 Bad Malente, Germany)

Berlin Springer London c2004

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.   

Refinar Meus Resultados

Tipo de Recurso 

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

Assunto 

  1. Science & Technology  (112.765)
  2. Technology  (107.829)
  3. Computer Science  (106.420)
  4. Engineering  (55.160)
  5. Engineering, Electrical & Electronic  (39.246)
  6. Computer Science, Artificial Intelligence  (35.741)
  7. Computer Science, Theory & Methods  (30.563)
  8. Fuzzy Logic  (29.609)
  9. Logic  (26.754)
  10. Artificial Intelligence  (23.179)
  11. Exact Sciences And Technology  (19.816)
  12. Computer Science, Information Systems  (18.131)
  13. Algorithms  (18.070)
  14. Computer Science, Hardware & Architecture  (17.729)
  15. Computer Science, Interdisciplinary Applications  (17.093)
  16. Computer Science - Logic In Computer Science  (16.966)
  17. Applied Sciences  (16.270)
  18. Physical Sciences  (14.908)
  19. Mathematics  (14.150)
  20. Computer Science, Software Engineering  (13.577)
  21. Logic Programming  (6.449)
  22. Computer Logic  (1.363)
  23. Kongress  (1.202)
  24. Logic, Symbolic And Mathematical  (1.104)
  25. Informatique  (893)
  26. Logische Programmierung  (187)
  27. Programmation Logique  (100)
  28. Lógica Matemática  (50)
  29. Programmation Par Contraintes  (28)
  30. Inteligência Artificial  (23)
  31. Logic Programming  (7)
  32. Logic, Symbolic And Mathematical  (7)
  33. Lógica Matemática  (6)
  34. Natural Language Processing (Computer Science)  (5)
  35. Constraint Programming (Computer Science)  (4)
  36. Programmation Logique  (4)
  37. Inteligência Artificial  (4)
  38. Inteligência Artificial (Congressos)  (4)
  39. Functional Programming (Computer Science)  (3)
  40. Técnicas De Programação (Congressos)  (3)
  41. Programação Lógica (Congressos)  (3)
  42. Ciência Da Computação  (3)
  43. Engenharia De Programas  (3)
  44. Programmation Par Contraintes  (3)
  45. Ciência Da Computação  (2)
  46. Informatique  (2)
  47. Logische Programmierung  (2)
  48. Kongress  (2)
  49. Computer Logic  (2)
  50. Lógica Matemática (Congressos)  (2)
  51. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1965  (85)
  2. 1965Até1978  (872)
  3. 1979Até1992  (6.011)
  4. 1993Até2007  (40.864)
  5. Após 2007  (100.903)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (146.181)
  2. Japonês  (6.045)
  3. Português  (126)
  4. Alemão  (124)
  5. Ndongo  (98)
  6. Espanhol  (87)
  7. Chinês  (44)
  8. Francês  (40)
  9. Norueguês  (15)
  10. Interlingue  (13)
  11. Russo  (11)
  12. Coreano  (9)
  13. Turco  (8)
  14. Italiano  (4)
  15. Árabe  (3)
  16. Polonês  (3)
  17. Croatian  (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.