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
Clausal Theory of Types
Clausal Theory of Types
Clausal Theory of Types
Material Type:
Livro 		Adicionar ao Meu Espaço

Clausal Theory of Types

D. A. Wolfram

Cambridge Cambridge University Press 1993

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

2
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Inductive Logic Programming

Shan-Hwei Nienhuys-Cheng Ronald De Wolf

Springer Berlin Heidelberg 1997

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

3
Proof and Computation
Proof and Computation
Proof and Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof and Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1995

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

4
Meta-programming in logic programming
Meta-programming in logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Meta-programming in logic programming

Harvey Abramson; M. H Rogers 1930-; META88 (1988 University of Bristol)

Cambridge, Mass. MIT Press c1989

Localização: EPBC - Esc. Politécnica-Bib Central    (004.424 M564 )(Acessar)

5
Conclog: A Methodological Approach to Concurrent Logic Programming
Conclog: A Methodological Approach to Concurrent Logic Programming
Conclog: A Methodological Approach to Concurrent Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Conclog: A Methodological Approach to Concurrent Logic Programming

Jean-Marie Jacquet

Springer Berlin Heidelberg 1991

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

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

7
Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings
Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic program synthesis and transformation-- Meta-programming in Logic 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings

International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa, Italy) Laurent Fribourg 1957-; Franco Turini 1949-; META '94 (1994 Pisa, Italy)

Berlin Springer-Verlag New York c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.883 )(Acessar)

8
Learning acyclic probabilistic logic programs from data.
Learning acyclic probabilistic logic programs from data.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Learning acyclic probabilistic logic programs from data.

Faria, Francisco Henrique Otte Vieira De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2017-12-12

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

9
Graph-Based Proof Procedures for Horn Clauses
Graph-Based Proof Procedures for Horn Clauses
Graph-Based Proof Procedures for Horn Clauses
Material Type:
Livro 		Adicionar ao Meu Espaço

Graph-Based Proof Procedures for Horn Clauses

Raatz

Birkhäuser Boston 1990

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

10
An introduction to default logic
An introduction to default logic
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to default logic

Philippe Besnard

Berlin Springer-Verlag New York c1989

Localização: IME - Inst. Matemática e Estatística    (QA860 B555i )(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 (36.351)
  2. Revistas revisadas por pares (16.659)
  3. Disponível na Biblioteca (167)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (18.854)
  2. Anais de Congresso  (8.210)
  3. Book Chapters  (2.761)
  4. Reports  (2.690)
  5. Livros  (2.359)
  6. Newsletter Articles  (836)
  7. magazinearticle  (559)
  8. Resenhas  (74)
  9. Dissertações  (50)
  10. Verbetes  (33)
  11. Recursos Textuais  (19)
  12. Conjunto de Dados  (19)
  13. Produções Acadêmicas  (12)
  14. Standards  (12)
  15. Videos  (7)
  16. Artigos de Jornal  (4)
  17. Imagens  (2)
  18. Web Resources  (1)
  19. Outros  (1)
  20. Mais opções open sub menu

Assunto 

  1. Science & Technology  (16.325)
  2. Computer Science  (15.477)
  3. Technology  (15.298)
  4. Logic Programming  (11.603)
  5. Engineering  (6.191)
  6. Algorithms  (5.323)
  7. Artificial Intelligence  (5.100)
  8. Logic  (4.769)
  9. Computer Science, Theory & Methods  (4.764)
  10. Programming Languages  (4.455)
  11. Computer Science, Artificial Intelligence  (4.061)
  12. Exact Sciences And Technology  (3.892)
  13. Fuzzy Logic  (3.820)
  14. Engineering, Electrical & Electronic  (3.735)
  15. Applied Sciences  (3.688)
  16. Computer Science, Software Engineering  (3.535)
  17. Computer Science - Logic In Computer Science  (3.282)
  18. Mathematics  (3.213)
  19. Programming  (3.188)
  20. Computer Programming  (3.073)
  21. Machine Learning  (954)
  22. Logic, Symbolic And Mathematical  (597)
  23. Electronic Digital Computers  (441)
  24. Programmation Logique  (101)
  25. Metodologia E Técnicas De Computação  (48)
  26. Inteligência Artificial  (48)
  27. Programação Lógica  (35)
  28. Lógica Matemática  (27)
  29. Programação Lógica (Congressos)  (26)
  30. Lógica Matemática  (25)
  31. Logic, Symbolic And Mathematical  (22)
  32. Técnicas De Programação (Congressos)  (19)
  33. Linguagem De Programação  (18)
  34. Técnicas De Programação  (17)
  35. Electronic Digital Computers  (14)
  36. Programmation Logique  (14)
  37. Inteligência Artificial  (14)
  38. Programming Languages (Electronic Computers)  (13)
  39. Inteligência Artificial (Congressos)  (12)
  40. Aprendizado Computacional  (11)
  41. Constraint Programming (Computer Science)  (10)
  42. Linguagem De Programação  (10)
  43. Nonlinear Boundary Value Problems  (8)
  44. Teoria Da Computação  (8)
  45. Programação Lógica  (8)
  46. Machine Learning  (8)
  47. Técnicas De Programação  (4)
  48. Teoria Da Computação  (1)
  49. Aprendizado Computacional  (1)
  50. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (240)
  2. 1964Até1978  (1.486)
  3. 1979Até1993  (4.076)
  4. 1994Até2009  (13.708)
  5. Após 2009  (17.635)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (36.377)
  2. Japonês  (990)
  3. Espanhol  (45)
  4. Alemão  (38)
  5. Português  (32)
  6. Francês  (14)
  7. Chinês  (14)
  8. Russo  (7)
  9. Turco  (6)
  10. Persa  (5)
  11. Tcheco  (3)
  12. Norueguês  (2)
  13. Indonésio  (2)
  14. Esloveno  (2)
  15. Lituano  (1)
  16. Catalão  (1)
  17. Italiano  (1)
  18. Ucraniano  (1)
  19. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.