[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.

To: obm-l@xxxxxxxxxxxxxx
Subject: Re: [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.
From: ralonso <ralonso@xxxxxxxxxxxxxxxxx>
Date: Fri, 10 Aug 2007 09:44:53 -0300
Organization: fapesp
References: <46BB7330.9A9D4E4D@trieste.fapesp.br> <6b8abd8f0708091334l40aac35cm18cfe99e2ae49e55@mail.gmail.com>
Reply-To: obm-l@xxxxxxxxxxxxxx
Sender: owner-obm-l@xxxxxxxxxxxxxx

opss... esqueci que estou dentro da fundação ...
Enviei o paper para seu e-mail...
[]s

silverratio@gmail.com wrote:

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.

References:
- [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.
  - From: ralonso
- Re: [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.
  - From: silverratio

Prev by Date: Re: [obm-l] BETONEIRA e a média harmônica....
Next by Date: [obm-l] criação e formalismo
Prev by thread: Re: [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.
Next by thread: [obm-l] criação e formalismo
Index(es):
- Date
- Thread