skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Logic programming remover
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
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)

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

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

7
Answer set programming probabilístico
Answer set programming probabilístico
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Answer set programming probabilístico

Morais, Eduardo Menezes De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2012-12-10

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

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

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

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

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 (11.475)
  2. Revistas revisadas por pares (5.511)
  3. Disponível na Biblioteca (121)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.048)
  2. Anais de Congresso  (3.652)
  3. Book Chapters  (1.536)
  4. Newsletter Articles  (638)
  5. Livros  (503)
  6. magazinearticle  (329)
  7. Dissertações  (131)
  8. Reports  (72)
  9. Resenhas  (53)
  10. Verbetes  (21)
  11. Recursos Textuais  (14)
  12. Conjunto de Dados  (5)
  13. Artigos de Jornal  (4)
  14. Produções Acadêmicas  (2)
  15. Web Resources  (2)
  16. Outros  (1)
  17. Mais opções open sub menu

Assunto 

  1. Logic Programming  (12.887)
  2. Science & Technology  (5.715)
  3. Technology  (5.386)
  4. Computer Science  (5.385)
  5. Computer Science, Theory & Methods  (2.055)
  6. Artificial Intelligence  (1.795)
  7. Computer Science, Artificial Intelligence  (1.738)
  8. Engineering  (1.547)
  9. Computer Science, Software Engineering  (1.477)
  10. Semantics  (1.416)
  11. Engineering, Electrical & Electronic  (1.246)
  12. Algorithms  (1.162)
  13. Exact Sciences And Technology  (1.147)
  14. Logic Program  (1.135)
  15. Applied Sciences  (1.130)
  16. Logic  (1.107)
  17. Computer Science; Control Theory; Systems  (1.018)
  18. Software  (923)
  19. Computer Science, Information Systems  (844)
  20. Programming Languages  (762)
  21. Polynomials  (209)
  22. Nonmonotonic Reasoning  (138)
  23. Programmation Logique  (124)
  24. Logic, Symbolic And Mathematical  (105)
  25. Computational Complexity  (72)
  26. Automatic Theorem Proving  (51)
  27. Metodologia E Técnicas De Computação  (43)
  28. Inteligência Artificial  (33)
  29. Programação Lógica  (29)
  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. Nonlinear Boundary Value Problems  (8)
  40. Computational Complexity  (8)
  41. Automatic Theorem Proving  (8)
  42. Logic, Symbolic And Mathematical  (8)
  43. Polynomials  (8)
  44. Programação Lógica  (8)
  45. Functional Programming (Computer Science)  (7)
  46. Nonmonotonic Reasoning  (7)
  47. Aprendizado Computacional  (7)
  48. Inteligência Artificial  (6)
  49. Linguagem De Programação  (3)
  50. Técnicas De Programação  (2)
  51. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1969  (49)
  2. 1969Até1982  (94)
  3. 1983Até1996  (2.332)
  4. 1997Até2011  (6.111)
  5. Após 2011  (4.450)
  6. Mais opções open sub menu

Idioma 

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

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

Buscando em bases de dados remotas. Favor aguardar.