Oi Jean-Yves!
Quais sao as tecnicas que voce usa pra isso aqui que ta' no abstract da sua
palestra: "extracting the general from the particular"?
Tem artigos onde isso e' feito em detalhes?
Grato! =)
[[]], Eduardo
2017-03-01 2:16 GMT-03:00 jean-yves beziau <[email protected]>:
> Esta semana vai ter um importante carnaval de lógica na Alemanha na cidade
> de Tübingen
> com a participação de duas escolas de samba do Brasil
> - Chapado do Queijo de Governadores Valadares
> - Queijo na Chapa do Rio de Janeiro
> http://ls.informatik.uni-tuebingen.de/CPTP/abstracts.xhtml
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para [email protected].
> Para postar nesse grupo, envie um e-mail para [email protected].
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBJZ3MTT1tA3F8jTwPOo5i%
> 3D5XeHGGS03RWWN6itEtE49A%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBJZ3MTT1tA3F8jTwPOo5i%3D5XeHGGS03RWWN6itEtE49A%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6jFh3s9MJjsK5tsq6k8ObNoreNJGCZCC6k0WH1Ve5d4mw%40mail.gmail.com.
