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
Refinado por: assunto: Logic Programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Bialgebraic Semantics for Logic Programming
Bialgebraic Semantics for Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bialgebraic Semantics for Logic Programming

Bonchi, Filippo ; Zanasi, Fabio

Logical methods in computer science, 2015-03, Vol.11, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
2
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)

3
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

Dudenhefner, Andrej

arXiv.org, 2023-12 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Logic and discrete mathematics a computer science perspective
Logic and discrete mathematics a computer science perspective
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and discrete mathematics a computer science perspective

Winfried K. Grassmann Jean-Paul Tremblay 1938-

Upper Saddle River, N.J. Prentice Hall c1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68R01 G769ld e.1 )(Acessar)

5
Logic for computer scientists
Logic for computer scientists
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for computer scientists

Uwe Schöning 1955-

Boston Birkhäuser 1989

Localização: IME - Inst. Matemática e Estatística    (S P9649 v.8 e.2 )(Acessar)

6
Binary Non-Termination in Term Rewriting and Logic Programming
Binary Non-Termination in Term Rewriting and Logic Programming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Binary Non-Termination in Term Rewriting and Logic Programming

Payet, Étienne

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Service-Oriented Logic Programming
Service-Oriented Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Service-Oriented Logic Programming

Tutu, Ionut ; Fiadeiro, Jose Luiz

Logical methods in computer science, 2015-08, Vol.11, Issue 3 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
8
Logic Programming with Multiplicative Structures
Logic Programming with Multiplicative Structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logic Programming with Multiplicative Structures

Acclavio, Matteo ; Maieli, Roberto

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
The Logic of Logic Programming
The Logic of Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Logic of Logic Programming

Denecker, Marc ; Warren, David S

arXiv.org, 2023-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Non-Termination in Term Rewriting and Logic Programming
Non-Termination in Term Rewriting and Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Non-Termination in Term Rewriting and Logic Programming

Payet, Etienne

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
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  (5.078)
  2. Anais de Congresso  (2.504)
  3. Book Chapters  (1.050)
  4. Livros  (384)
  5. magazinearticle  (269)
  6. Newsletter Articles  (79)
  7. Resenhas  (39)
  8. Reports  (33)
  9. Verbetes  (9)
  10. Dissertações  (4)
  11. Recursos Textuais  (2)
  12. Artigos de Jornal  (2)
  13. Mais opções open sub menu

Assunto 

  1. Science & Technology  (4.839)
  2. Computer Science  (4.804)
  3. Technology  (4.613)
  4. Computer Science, Theory & Methods  (1.735)
  5. Artificial Intelligence  (1.483)
  6. Computer Science, Artificial Intelligence  (1.433)
  7. Computer Science, Software Engineering  (1.384)
  8. Engineering  (1.287)
  9. Semantics  (1.176)
  10. Engineering, Electrical & Electronic  (1.057)
  11. Exact Sciences And Technology  (997)
  12. Algorithms  (980)
  13. Applied Sciences  (979)
  14. Logic  (956)
  15. Computer Science; Control Theory; Systems  (884)
  16. Logic Program  (830)
  17. Software  (817)
  18. Computer Science, Information Systems  (756)
  19. Computer Science - Logic In Computer Science  (746)
  20. Logische Programmierung  (123)
  21. Nonmonotonic Reasoning  (117)
  22. Programmation Logique  (98)
  23. Logic Programming–Congresses  (64)
  24. Automatic Theorem Proving  (38)
  25. Metodologia E Técnicas De Computação  (30)
  26. Programação Lógica (Congressos)  (24)
  27. Inteligência Artificial  (21)
  28. Técnicas De Programação (Congressos)  (19)
  29. Programação Lógica  (19)
  30. Técnicas De Programação  (17)
  31. Lógica Matemática  (17)
  32. Programmation Logique  (14)
  33. Lógica Matemática  (11)
  34. Inteligência Artificial (Congressos)  (11)
  35. Constraint Programming (Computer Science)  (10)
  36. Automatic Theorem Proving  (8)
  37. Linguagem De Programação  (7)
  38. Functional Programming (Computer Science)  (7)
  39. Nonmonotonic Reasoning  (7)
  40. Programação Lógica  (7)
  41. Aprendizado Computacional  (6)
  42. Logische Programmierung  (6)
  43. Verificação E Validação De Software (Congressos)  (6)
  44. Síntese De Programas (Congressos)  (6)
  45. Inteligência Artificial  (5)
  46. Aprendizado Computacional (Congressos)  (4)
  47. Linguagem De Programação  (3)
  48. Técnicas De Programação  (2)
  49. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1974  (29)
  2. 1974Até1985  (131)
  3. 1986Até1997  (1.957)
  4. 1998Até2010  (4.033)
  5. Após 2010  (3.372)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (9.442)
  2. Japonês  (233)
  3. Espanhol  (12)
  4. Ndongo  (6)
  5. Chinês  (4)
  6. Português  (4)
  7. Francês  (3)
  8. Alemão  (2)
  9. Russo  (1)
  10. Italiano  (1)
  11. Norueguê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.