Parabens para todos! autores do provador, organizadores do evento, todos de parabens! abs Valeria
On Thu, Oct 17, 2019 at 6:08 PM Joao Marcos <[email protected]> wrote: > The inner magic behind the Z3 theorem prover > > https://www.microsoft.com/en-us/research/blog/the-inner-magic-behind-the-z3-theorem-prover/ > > (Com a foto do prêmio Herbrand que eles ganharam aqui em Natal.) > > JM > > -- > 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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhOs9_eMSiC%3D-Ev-AKr9f86%2BYUrfbp-a6ifMrF%2BWnSrxQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhOs9_eMSiC%3D-Ev-AKr9f86%2BYUrfbp-a6ifMrF%2BWnSrxQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuep7aZ6yezV8XHvnwiY1QjNdpE3Rmm3w2rxs_92fY5qQ%40mail.gmail.com.
