skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Recuperação Da Informação (Congressos) remover Inteligência Artificial (Congressos) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Large-scale knowledge resources construction and application ; proceedings
Large-scale knowledge resources construction and application ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Large-scale knowledge resources construction and application ; proceedings

Takenobu Tokunaga Hrsg; Antonio Ortega; International Conference on Large-Scale Knowledge Resources (3, 2008, T oky o)

Berlin u.a. Springer 2008

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

2
Towards mechanized mathematical assistants 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings
Towards mechanized mathematical assistants 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Towards mechanized mathematical assistants 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings

Manuel Kauers; Manfred Kerber; Robert Miner; Wolfgang Windsteiger; Calculemus 2007 (14 : 2007.06 : Hagenberg); International Conference on Mathematical Knowledge Management (6 : 2007.06 : Hagenberg); MKM 2007 (6 : 2007.06 : Hagenberg)

Berlin u.a. Springer 2007

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

3
Content computing Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004 : proceedings
Content computing Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Content computing Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004 : proceedings

Advanced Workshop on Content Computing (2004 Zhenjiang Shi, China) Chi-Hung Chi; Kwok Yan Lam 1966-

Berlin Springer New York 2004

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

4
Intuitive human interfaces for organizing and accessing intellectual assets international workshop, Dagstuhl Castle, Germany, March 1-5, 2004 ; revised selected papers
Intuitive human interfaces for organizing and accessing intellectual assets international workshop, Dagstuhl Castle, Germany, March 1-5, 2004 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Intuitive human interfaces for organizing and accessing intellectual assets international workshop, Dagstuhl Castle, Germany, March 1-5, 2004 ; revised selected papers

Gunter Grieser; Yuzuru Tanaka; International Workshop (2004.03.01-05 : Dagstuhl Castle)

Berlin u.a. Springer 2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.3359 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

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

Buscando em bases de dados remotas. Favor aguardar.