Regra de inferência: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Introdução |
Referências |
||
Linha 40:
indicações novas das velhas; quanto mais ferramentas que você tenha em sua
eliminação, mais fácil ela se tornará.
----
[http://pucrs.campus2.br/~annes/inflog_aula6.html]
[http://people.hofstra.edu/Stefan_Waner/realworld/logic/logic5.html]
[www.lasid.ufba.br/graduacao/compiladores/L-semantica-formal-intro.pdf]
| |||