A mostrar 1 - 1 resultados de 1 para a pesquisa 'MKM 2007' Refinar resultados
  1. 1
    Publicado em 2007
    Connect to electronic resource
    Recurso Electrónico Conference Proceeding livro electrónico
    Adic. favoritos
    Na minha lista:
    Towards mechanized mathematical assistants 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings /

Ferramentas de pesquisa: