skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Lecture Notes in Computer Science Archive (through to 1996) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

Erten, Can ; Kazakov, Dimitar

Cham: Springer International Publishing 2020

Sem texto completo

Citações Citado por
2
Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Russo, Alessandra ; Cussens, James

Cham: Springer International Publishing 2017

Sem texto completo

Citações Citado por
3
Inductive Logic Programming: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Inductive Logic Programming: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Inductive Logic Programming: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Lachiche, Nicolas ; Vrain, Christel Vrain, Christel ; Lachiche, Nicolas

Cham: Springer International Publishing 2018

Sem texto completo

Citações Citado por
4
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 ; Inoue, Katsumi ; Yamamoto, Akihiro ; Ohwada, Hayato

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
5
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Peltier, Nicolas ; Sofronie-Stokkermans, Viorica

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
6
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Peltier, Nicolas ; Sofronie-Stokkermans, Viorica

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
7
Scalable Uncertainty Management: 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Scalable Uncertainty Management: 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Scalable Uncertainty Management: 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Marín, Nicolás ; Sánchez, Daniel ; Moral, Serafín ; Pivert, Olivier

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
8
Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Ciucci, Davide ; Pasi, Gabriella ; Vantaggi, Barbara

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
9
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

James, Phillip ; Roggenbach, Markus Roggenbach, Markus ; James, Phillip

Cham: Springer International Publishing 2017

Sem texto completo

Citações Citado por
10
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Kahsai, Temesghen ; Barrett, Clark ; Davies, Misty

Cham: Springer International Publishing 2017

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.   

Mostrar Somente

  1. Recursos Online (16.352)
  2. Revistas revisadas por pares (22.525)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (12.500)
  2. Anais de Congresso  (10.881)
  3. Livros  (2.977)
  4. Artigos  (219)
  5. Recursos Textuais  (2)
  6. Web Resources  (1)
  7. Dissertações  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1980  (20)
  2. 1980Até1990  (597)
  3. 1991Até2001  (4.074)
  4. 2002Até2013  (13.509)
  5. Após 2013  (7.751)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (26.566)
  2. Japonês  (411)
  3. Francês  (15)
  4. Alemão  (6)
  5. Espanhol  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.