skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
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
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)

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

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

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

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

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

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
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
Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive logic programming 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings

ILP '97 (7th 1997 Czech Republic) Nada Lavraéc; Saéso Dézeroski 1968-

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1297 e.2 ) e outros locais(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 (14.197)
  2. Revistas revisadas por pares (5.996)
  3. Disponível na Biblioteca (131)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.505)
  2. Anais de Congresso  (4.509)
  3. Book Chapters  (1.719)
  4. Newsletter Articles  (638)
  5. Livros  (425)
  6. magazinearticle  (317)
  7. Reports  (90)
  8. Resenhas  (39)
  9. Dissertações  (28)
  10. Recursos Textuais  (16)
  11. Verbetes  (12)
  12. Produções Acadêmicas  (8)
  13. Artigos de Jornal  (4)
  14. Conjunto de Dados  (2)
  15. Outros  (1)
  16. Mais opções open sub menu

Assunto 

  1. Logic Programming  (11.581)
  2. Science & Technology  (6.196)
  3. Technology  (5.865)
  4. Computer Science  (5.835)
  5. Computer Science, Theory & Methods  (2.229)
  6. Artificial Intelligence  (1.970)
  7. Computer Science, Artificial Intelligence  (1.915)
  8. Computer Science, Software Engineering  (1.627)
  9. Engineering  (1.577)
  10. Exact Sciences And Technology  (1.433)
  11. Applied Sciences  (1.406)
  12. Semantics  (1.398)
  13. Computer Science; Control Theory; Systems  (1.290)
  14. Engineering, Electrical & Electronic  (1.280)
  15. Logic  (1.207)
  16. Algorithms  (1.154)
  17. Inductive Logic Programming  (1.000)
  18. Software  (972)
  19. Logic Program  (966)
  20. Computer Science, Information Systems  (887)
  21. Machine Learning  (545)
  22. Polynomials  (210)
  23. Programmation Logique  (101)
  24. Logic, Symbolic And Mathematical  (85)
  25. Computational Complexity  (70)
  26. Metodologia E Técnicas De Computação  (45)
  27. Automatic Theorem Proving  (40)
  28. Inteligência Artificial  (36)
  29. Programação Lógica  (33)
  30. Programação Lógica (Congressos)  (26)
  31. Lógica Matemática  (21)
  32. Técnicas De Programação (Congressos)  (19)
  33. Técnicas De Programação  (17)
  34. Programmation Logique  (14)
  35. Linguagem De Programação  (12)
  36. Lógica Matemática  (12)
  37. Inteligência Artificial (Congressos)  (11)
  38. Constraint Programming (Computer Science)  (10)
  39. Aprendizado Computacional  (10)
  40. Nonlinear Boundary Value Problems  (8)
  41. Computational Complexity  (8)
  42. Automatic Theorem Proving  (8)
  43. Logic, Symbolic And Mathematical  (8)
  44. Polynomials  (8)
  45. Functional Programming (Computer Science)  (7)
  46. Programação Lógica  (7)
  47. Machine Learning  (7)
  48. Inteligência Artificial  (5)
  49. Linguagem De Programação  (3)
  50. Técnicas De Programação  (2)
  51. Mais opções open sub menu

Idioma 

  1. Inglês  (14.253)
  2. Japonês  (377)
  3. Português  (12)
  4. Espanhol  (11)
  5. Francês  (7)
  6. Alemão  (6)
  7. Chinês  (4)
  8. Russo  (1)
  9. Indonésio  (1)
  10. Italiano  (1)
  11. Norueguês  (1)
  12. Turco  (1)
  13. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.