skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: International Conference on Mathematical Knowledge Management remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Mathematical knowledge management third international conference, MKM 2004, Bia owie za, Poland, September 19-21, 2004 : proceedings
Mathematical knowledge management third international conference, MKM 2004, Bia owie za, Poland, September 19-21, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical knowledge management third international conference, MKM 2004, Bia owie za, Poland, September 19-21, 2004 : proceedings

International Conference on Mathematical Knowledge Management (3rd 2004 Bia owie za, Poland) Andrea Asperti; Grzegorz Bancerek; Andrzej Trybulec

Berlin Springer New York 2004

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

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.