Mensagens
É matemático.
-
A Open AI despejou online mais de 700 demonstrações de conjecturas
matemáticas, boa parte com descrição formal que permite verificação
automática. Isto est...
Há 18 horas
quinta-feira, julho 05, 2007
Subscrever:
Enviar feedback (Atom)
2 comentários:
mas alguém ainda ouve o Soares? um homem que diz apoiar o diálogo com a Al-Qaeda? E o Chávez? quem é que ele está a enganar com essa conversa de fazer amiguinhos na Europa, ele se quer mudar de imagem que saia do lugar onde se alapou e deixe governar quem sabe.
Que dois!!
xxx
Enviar um comentário