skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: tipo de recurso: Livros 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
Programming with constraints an introduction
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
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
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?
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
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
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.   

Refinar Meus Resultados

Assunto 

  1. Computer Science  (4.957)
  2. Artificial Intelligence  (3.456)
  3. Machine Theory  (3.337)
  4. Electronic Data Processing  (2.696)
  5. Congresses  (2.535)
  6. Electronic Brains  (2.526)
  7. Computers  (2.476)
  8. Ai  (2.323)
  9. Machine Intelligence  (2.322)
  10. Intelligence, Artificial  (2.321)
  11. Thinking, Artificial  (2.321)
  12. Intelligent Machines  (2.321)
  13. Intellectronics  (2.321)
  14. Artificial Thinking  (2.321)
  15. Simulation Methods  (1.977)
  16. Cognitive Science  (1.961)
  17. Neural Computers  (1.945)
  18. Self-Organizing Systems  (1.943)
  19. Digital Computer Simulation  (1.942)
  20. Bionics  (1.942)
  21. Logic, Symbolic And Mathematical  (1.236)
  22. Logic Programming  (287)
  23. Fuzzy Logic  (232)
  24. Programmation Logique  (113)
  25. Graph Theory  (71)
  26. Lógica Matemática  (55)
  27. Inteligência Artificial  (32)
  28. Logic, Symbolic And Mathematical  (31)
  29. Inteligência Artificial  (28)
  30. Logic Programming  (26)
  31. Logic Diagrams  (19)
  32. Natural Language Processing (Computer Science)  (15)
  33. Lógica Matemática  (14)
  34. Inteligência Artificial (Congressos)  (12)
  35. Knowledge Representation (Information Theory)  (11)
  36. Conceptual Structures (Information Theory)  (10)
  37. Constraint Programming (Computer Science)  (10)
  38. Logic Diagrams  (10)
  39. Graph Theory  (10)
  40. Fuzzy Logic  (9)
  41. Neural Networks (Computer Science)  (8)
  42. Metodologia E Técnicas De Computação  (8)
  43. Functional Programming (Computer Science)  (7)
  44. Programação Lógica (Congressos)  (7)
  45. Teoria Da Computação  (7)
  46. Programmation Logique  (6)
  47. Expert Systems (Computer Science)  (6)
  48. Teoria Da Computação  (5)
  49. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1974  (17)
  2. 1974Até1985  (182)
  3. 1986Até1997  (967)
  4. 1998Até2010  (3.106)
  5. Após 2010  (3.872)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (6.013)
  2. Alemão  (196)
  3. Francês  (32)
  4. Interlingue  (5)
  5. Italiano  (3)
  6. Espanhol  (2)
  7. Russo  (1)
  8. Japonês  (1)
  9. Tcheco  (1)
  10. Português  (1)
  11. Chinês  (1)
  12. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.