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ê 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/CAO6j_LhOs9_eMSiC%3D-Ev-AKr9f86%2BYUrfbp-a6ifMrF%2BWnSrxQ%40mail.gmail.com.
