Mauricio e Flavio acabam de lançar um novo livro sobre Lógica Computacional que será certamente de interesse para muitos membros desta lista!
Vale recordar, em particular, que Mauricio apresentou um curso muito bem sucedido sobre raciocínio formal usando PVS no NAT@Logic, há um ano e meio: https://sites.google.com/a/dimap.ufrn.br/natalogic-2015/trs#PVS Joao Marcos ---------- Forwarded message ---------- From: Mauricio Ayala-Rincon Dear Friends, this message only to announce the publication of our book on computational logic (using PVS): http://www.springer.com/gb/book/9783319516516#aboutBook Bests, Mauricio. -- Mauricio Ayala-Rincón Full Professor - Depts. C. Computação & Matemática Universidade de Brasília www.mat.unb.br/~ayala e-mail: [email protected] -- 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_LhU8w8sxu2gz7AvCr3tagHwa3pGm9PjSNZtG%2BA5xGa9Cg%40mail.gmail.com.
