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

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

To: obm-l@xxxxxxxxxxxxxx
Subject: [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.
From: ralonso <ralonso@xxxxxxxxxxxxxxxxx>
Date: Thu, 09 Aug 2007 17:04:00 -0300
Organization: fapesp
Reply-To: obm-l@xxxxxxxxxxxxxx
Sender: owner-obm-l@xxxxxxxxxxxxxx

Para as pessoas interessadas achei esse paper interessante:


http://portal.acm.org/citation.cfm?id=594135.594268&dl=GUIDE&dl=GUIDE&CFID=31274872&CFTOKEN=72229214




=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================

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

Prev by Date: Re: [obm-l] Ajuda ( reta simétrica)
Next by Date: Re: [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.
Prev by thread: [obm-l] Resultado da IMC -2007
Next by thread: Re: [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.
Index(es):
- Date
- Thread