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: tipo de recurso: Livros remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings
COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings

Martin-Löf, Per ; Mints, Grigori Mints, Grigori ; Martin-Löf, Per

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

Citações Citado por
2
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele Leitsch, Alexander ; Gottlob, Georg ; Mundici, Daniele

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
3
Discovey Science: First International Conference, DS'98 Fukuoka, Japan, December 14-16, 1998 Proceedings
Discovey Science: First International Conference, DS'98 Fukuoka, Japan, December 14-16, 1998 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Discovey Science: First International Conference, DS'98 Fukuoka, Japan, December 14-16, 1998 Proceedings

Goos, G ; Hartmanis, J ; van Leeuwen, J Arikawa, Setsuo ; Motoda, Hiroshi

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

Citações Citado por
4
Discovery Science: Second International Conference, DS'99 Tokyo, Japan, December 6-8, 1999 Proceedings
Discovery Science: Second International Conference, DS'99 Tokyo, Japan, December 6-8, 1999 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Discovery Science: Second International Conference, DS'99 Tokyo, Japan, December 6-8, 1999 Proceedings

Arikawa, Setsuo ; Furukawa, Koichi Furukawa, Koichi ; Arikawa, Setsuo

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
5
Foundations and Tools for Neural Modeling: International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume I
Foundations and Tools for Neural Modeling: International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume I
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations and Tools for Neural Modeling: International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume I

Mira, Jose ; Sanchez-Andres, Juan V Mira, José ; Sánchez-Andrés, Juan V.

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
6
Discovery Science: Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings
Discovery Science: Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Discovery Science: Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings

Arikawa, Setsuo ; Morishita, Shinichi Arikawa, Setsuo ; Morishita, Shinichi

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
7
Discovery Science: 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 Proceedings
Discovery Science: 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Discovery Science: 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 Proceedings

Jantke, Klaus P ; Shinohara, Ayumi Jantke, Klaus P. ; Shinohara, Ayumi

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
8
Discovery Science: 5th International Conference, DS 2002, Lubeck, Germany, November 24-26, 2002, Proceedings
Discovery Science: 5th International Conference, DS 2002, Lubeck, Germany, November 24-26, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Discovery Science: 5th International Conference, DS 2002, Lubeck, Germany, November 24-26, 2002, Proceedings

Lange, Steffen ; Satoh, Ken ; Smith, Carl H Lange, Steffen ; Satoh, Ken ; Smith, Carl H.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
9
Discovery Science: 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings
Discovery Science: 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Discovery Science: 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings

Grieser, Gunter ; Tanaka, Yuzuru ; Yamamoto, Akihiro Grieser, Gunter ; Yamamoto, Akihiro ; Tanaka, Yuzuru

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
10
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Basin, David ; Wolff, Burkhart Basin, David ; Wolff, Burkhart

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

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.   

Data de Publicação 

De até
Refinar
  1. Antes de2002  (6)
  2. 2002Até2008  (11)
  3. 2009Até2013  (11)
  4. 2014Até2019  (24)
  5. Após 2019  (15)
  6. Mais opções open sub menu

Idioma 

  1. Alemão  (2)
  2. Norueguês  (2)
  3. Turco  (1)
  4. Japonês  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.