Devo estar fazendo besteira, porque só consegui ver o abstract... Cai no site springerlink.com e lá ou pede login ou pede pra você comprar o texto completo.
- Leandro.
- [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle. ralonso
- Re: [obm-l] Prova formal dos Teoremas de Sylow usando Isa... silverratio
