> Afora pesquisa em Universidades, alguém tem alguma
> experiência do uso da lógica em centros de pesquisa ou empresas que possa
> me relatar? Lembrei da Valéria de Paiva :).

Vale lembrar também do Leonardo de Moura (Microsoft), Vivek Nigam
(Fortiss), David Déharbe (ClearSy System Engineering)...

JM

-- 
http://sequiturquodlibet.googlepages.com/

-- 
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/CAO6j_LgCUfKMAdfh8AbEuiHzd8KxkAY%3DpEh69uetLZx0fSHBHg%40mail.gmail.com.

Responder a