[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: silverratio@xxxxxxxxx
- Date: Thu, 9 Aug 2007 17:34:24 -0300
- DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=T60me0YoL1VO+PKRi1ug2y7SCbSIoU/55J/o1pN0aUzvW76Y/kdiU8TNgdc1wKr7cUqFeyCvslwtKrDpY75XT2GAgjkoG09XQ8iaSMj+qZn/jLN95Hcn7FSfwNOPdMShryF+N3TE/FnYFivEWDabAowhD8dCADA4I6/rj1xTsKU=
- DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=tp3sa+1EAbwe/eDFhrsxbxHa7lZx5MtlH+o3S0OQtBrww1DZiDFyxa8mXZTKWNJ3ub/hKFkm2jRWZoRMnX3KlG9ymo1HId1A9196f3iK8PDZmqdsobH7bCSyPakKIt9kgF9LbKzk2ak5YQEtkjSHZwTSsgSt40yd80yStHPFbXY=
- In-Reply-To: <46BB7330.9A9D4E4D@trieste.fapesp.br>
- References: <46BB7330.9A9D4E4D@trieste.fapesp.br>
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
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.