Report copyright - Planejamento Abdutivo no Cálculo de Eventosslago/slago-mestrado-slides.pdf• usando o cálculo de eventos podemos descrever formalmente um domínio; • usando prova automática
Please pass captcha verification before submit form
Please pass captcha verification before submit form