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

2
Introduction to logic programming
Introduction to logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to logic programming

Christopher John Hogger

London Orlando Academic Press 1984

Localização: EPBC - Esc. Politécnica-Bib Central    (004.424 H679i ) e outros locais(Acessar)

3
A method of programming
A method of programming
Material Type:
Livro 		Adicionar ao Meu Espaço

A method of programming

Edsger Wybe Dijkstra W. H. J Feijen

Wokingham Addison-Wesley 1988

Localização: EPBC - Esc. Politécnica-Bib Central    (004.41 D569mI ) e outros locais(Acessar)

4
Computability theory, semantics, and logic programming
Computability theory, semantics, and logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability theory, semantics, and logic programming

Melvin Chris Fitting 1942-

New York Oxford University Press Oxford Clarendon 1987

Localização: IME - Inst. Matemática e Estatística    (QA810 F547c )(Acessar)

5
Logic for problem solving
Logic for problem solving
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for problem solving

Robert Kowalski

New York Elsevier North Holland c1979

Localização: EPBC - Esc. Politécnica-Bib Central    (004.832 K849L ) e outros locais(Acessar)

6
Logic-based knowledge representation
Logic-based knowledge representation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic-based knowledge representation

Peter Jackson 1948- Han Reichgelt; Frank Van Harmelen

Cambridge, Mass MIT Press c1989

Localização: IFSC - Inst. Física de São Carlos    (001.642 J13L )(Acessar)

7
Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings
Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings

Kazakov, Dimitar ; Erten, Can Kazakov, Dimitar ; Erten, Can ; Erten, Can ; Kazakov, Dimitar

Cham: Springer Nature 2020

Sem texto completo

Citações Citado por
8
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

An, Bo ; Bazzan, Ana ; Leite, Joao ; Villata, Serena ; Torre, Leendert van der An, Bo ; Leite, Jo'o ; Villata, Serena ; Bazzan, Ana ; An, Bo ; van der Torre, Leendert ; Bazzan, Ana ; Leite, João ; Villata, Serena

Netherlands: Springer Nature 2017

Sem texto completo

Citações Citado por
9
Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings
Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings

Riguzzi, Fabrizio ; Bellodi, Elena ; Zese, Riccardo Riguzzi, Fabrizio ; Bellodi, Elena ; Zese, Riccardo ; Bellodi, Elena ; Zese, Riccardo ; Riguzzi, Fabrizio

Cham: Springer Nature 2018

Sem texto completo

Citações Citado por
10
Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Rabe, Florian ; Farmer, William M ; Passmore, Grant O ; Youssef, Abdou Farmer, William M ; Rabe, Florian ; Passmore, Grant O ; Youssef, Abdou ; Youssef, Abdou ; Farmer, William M. ; Passmore, Grant O. ; Rabe, Florian

Cham: Springer Nature 2018

Sem texto completo

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. Livros  (474)
  2. Artigos  (406)
  3. Anais de Congresso  (82)
  4. Reports  (14)
  5. magazinearticle  (4)
  6. Book Chapters  (2)
  7. Mais opções open sub menu

Assunto 

  1. Computer Science  (856)
  2. Artificial Intelligence  (569)
  3. Science & Technology  (444)
  4. Engineering  (443)
  5. Technology  (431)
  6. Machine Theory  (373)
  7. Electronic Data Processing  (371)
  8. Computers  (346)
  9. Congresses  (314)
  10. Mathematics  (306)
  11. Application Software  (301)
  12. Computer Software  (297)
  13. Electronic Brains  (291)
  14. Algorithms  (288)
  15. Software Engineering  (282)
  16. Machine Intelligence  (259)
  17. Ai  (258)
  18. Intelligence, Artificial  (258)
  19. Intellectronics  (258)
  20. Artificial Thinking  (258)
  21. Logic, Symbolic And Mathematical  (233)
  22. Electronic Digital Computers  (106)
  23. Logic Programming  (98)
  24. Problem Solving  (29)
  25. Logic Programming  (3)
  26. Metodologia E Técnicas De Computação  (3)
  27. Computer systems Programming Applications of mathematical logic  (3)
  28. Electronic Digital Computers  (2)
  29. Lógica Matemática  (2)
  30. Digital computer systems Programming Applications of mathematical logic  (2)
  31. Lógica Simbólica  (2)
  32. Computadores Digitais  (2)
  33. Lógica Simbólica  (2)
  34. Logic, Symbolic And Mathematical  (2)
  35. Linguagem De Programação  (1)
  36. Problem solving Applications of mathematical logic  (1)
  37. Computable Functions  (1)
  38. Constraint Programming (Computer Science)  (1)
  39. Computable Functions  (1)
  40. Expert systems Programming Applications of mathematical logic  (1)
  41. Computabilidade E Complexidade  (1)
  42. Problem Solving  (1)
  43. Lógica Matemática  (1)
  44. Expert Systems (Computer Science)  (1)
  45. Algoritmos E Estruturas De Dados  (1)
  46. Data Structures (Computer Science)  (1)
  47. Knowledge Representation (Information Theory)  (1)
  48. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1984  (19)
  2. 1984Até1993  (79)
  3. 1994Até2003  (77)
  4. 2004Até2014  (420)
  5. Após 2014  (478)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (29)
  2. Alemão  (17)
  3. Chinês  (1)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Hogger, C
  2. Feijen, W
  3. Jackson, P
  4. Dijkstra, E
  5. Kowalski, R

Neste Assunto:

  1. Computer Science
  2. Artificial Intelligence
  3. Science & Technology
  4. Engineering
  5. Technology

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

Buscando em bases de dados remotas. Favor aguardar.