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
A proposal for off-grid photovoltaic systems with non-controllable loads using fuzzy logic : IREC 2012, The International Renewable Energy Congress
A proposal for off-grid photovoltaic systems with non-controllable loads using fuzzy logic : IREC 2012, The International Renewable Energy Congress
Material Type:
Artigo 		Adicionar ao Meu Espaço

A proposal for off-grid photovoltaic systems with non-controllable loads using fuzzy logic : IREC 2012, The International Renewable Energy Congress

YAHYAOUI, Imene ; SALLEM, Souhir ; KAMOUN, M. B. A ; TADEO, Fernando

Energy conversion and management, 2014, Vol.78, p.835-842 [Periódico revisado por pares]

Kidlington: Elsevier

Texto completo disponível

Citações Citado por
2
The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995

International Congress of Logic, Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy) Maria Luisa Dalla Chiara 1938-; Kees Doets; Daniele Mundici; Johan Van Benthem

Dordrecht Kluwer Academic Publishers Boston, Mass. c1997

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (501 S993 v.259 e.2 ) e outros locais(Acessar)

3
Computational Logic -- CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings
Computational Logic -- CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Logic -- CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings

Lloyd, John ; Dahl, Veronica ; Furbach, Ulrich ; Kerber, Manfred ; Lau, Kung-Kiu ; Palamidessi, Catuscia ; Pereira, Luis M ; Sagiv, Yehoshua ; Stuckey, Peter J Lloyd, John ; Furbach, Ulrich ; Pereira, Luís Moniz ; Kerber, Manfred ; Palamidessi, Catuscia ; Dahl, Veronica ; Lau, Kung-Kiu ; Sagiv, Yehoshua ; Stuckey, Peter J.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
4
Language, quantum, music selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Language, quantum, music selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Language, quantum, music selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

International Congress of Logic, Methodology and Philosophy of Science (10th : 1995 : Florence, Italy) Maria Luisa Dalla Chiara 1938-; Roberto Giuntini; Federico Laudisa

Dordrecht Kluwer Academic Publishers Boston c1999

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (501 S993 v.281 )(Acessar)

5
Advances in Temporal Logic
Advances in Temporal Logic
Advances in Temporal Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Temporal Logic

Howard Barringer Michael Fisher; Dov M Gabbay; Graham Gough

Springer Netherlands 2000

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

6
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings

Comyn, G ; Fuchs, N. E ; Ratcliffe, M. J Fuchs, N. E. ; Comyn, G. ; Ratcliffe, M. J.

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
7
Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers
Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Dalen, Dirk van ; Bezem, Marc van Dalen, Dirk ; Bezem, Marc

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
8
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Maluszyński, Jan ; Wirsing, Martin Wirsing, Martin ; Maluszyński, Jan

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
9
Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers
Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Nielsen, Mogens ; Thomas, Wolfgang Nielsen, Mogens ; Thomas, Wolfgang

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Citações Citado por
10
Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Inoue, Katsumi ; Ohwada, Hayato ; Yamamoto, Akihiro Ohwada, Hayato ; Yamamoto, Akihiro ; Inoue, Katsumi ; Ohwada, Hayato ; Inoue, Katsumi ; Yamamoto, Akihiro

Cham: Springer Nature 2016

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.   

Mostrar Somente

  1. Recursos Online (98.190)
  2. Revistas revisadas por pares (80.465)
  3. Disponível na Biblioteca (65)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (85.536)
  2. Book Chapters  (3.015)
  3. Resenhas  (2.494)
  4. Livros  (2.132)
  5. magazinearticle  (1.840)
  6. Verbetes  (1.331)
  7. Anais de Congresso  (1.235)
  8. Reports  (298)
  9. Artigos de Jornal  (235)
  10. Recursos Textuais  (67)
  11. Newsletter Articles  (38)
  12. Conjunto de Dados  (16)
  13. Standards  (6)
  14. Dissertações  (5)
  15. Documentos Governamentais  (1)
  16. Videos  (1)
  17. Mais opções open sub menu

Assunto 

  1. Social Sciences  (34.736)
  2. Science & Technology  (22.179)
  3. Technology  (13.868)
  4. Government & Law  (12.585)
  5. Political Science  (11.452)
  6. Politics  (9.805)
  7. Computer Science  (8.155)
  8. Arts & Humanities  (8.119)
  9. Life Sciences & Biomedicine  (7.527)
  10. Engineering  (7.311)
  11. Studies  (6.709)
  12. International Relations  (6.681)
  13. History  (5.774)
  14. Business & Economics  (5.655)
  15. Law  (4.673)
  16. Sociology  (4.533)
  17. Algorithms  (4.434)
  18. Economics  (4.373)
  19. Physical Sciences  (4.362)
  20. Political Parties  (4.255)
  21. Artificial Intelligence  (4.048)
  22. Science  (1.326)
  23. Computer Logic  (466)
  24. Logic, Symbolic And Mathematical  (351)
  25. Logic Programming  (145)
  26. Graph Theory  (107)
  27. Automatic Theorem Proving  (52)
  28. Programmation Logique  (35)
  29. Logic Programming  (22)
  30. Inteligência Artificial  (18)
  31. Lógica Matemática  (11)
  32. Técnicas De Programação (Congressos)  (10)
  33. Logic, Symbolic And Mathematical  (10)
  34. Inteligência Artificial (Congressos)  (10)
  35. Inteligência Artificial  (9)
  36. Programação Lógica (Congressos)  (8)
  37. Metodologia E Técnicas De Computação  (7)
  38. Técnicas De Programação  (6)
  39. Artificial Intelligence  (6)
  40. Teoria Da Computação  (6)
  41. Computer Logic  (6)
  42. Graph Theory  (6)
  43. Linguagem De Programação  (5)
  44. Programmation Logique  (5)
  45. Automatic Theorem Proving  (5)
  46. Knowledge Representation (Information Theory)  (5)
  47. Science  (5)
  48. Especificação De Sistemas E Programas  (5)
  49. Programming Languages (Electronic Computers)  (4)
  50. Lógica Matemática  (2)
  51. Técnicas De Programação  (2)
  52. Linguagem De Programação  (2)
  53. Teoria Da Computação  (1)
  54. Mais opções open sub menu

Idioma 

  1. Inglês  (94.066)
  2. Português  (3.822)
  3. Espanhol  (2.638)
  4. Japonês  (2.580)
  5. Alemão  (534)
  6. Francês  (316)
  7. Italiano  (251)
  8. Africâner  (67)
  9. Norueguês  (63)
  10. Turco  (51)
  11. Russo  (40)
  12. Chinês  (36)
  13. Catalão  (32)
  14. Polonês  (29)
  15. Holandês  (21)
  16. Tcheco  (20)
  17. Árabe  (16)
  18. Romeno  (14)
  19. Ucraniano  (12)
  20. Lituano  (11)
  21. Indeterminado  (4)
  22. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.