Slides sobre Lógica

De Wiki DAINF

(Diferença entre revisões)

Edição atual tal como 13h32min de 9 de abril de 2012

Edição de 13h32min de 9 de abril de 2012 (ver código-fonte) Adolfo (disc \| contribs) ← Edição anterior		Edição atual tal como 13h32min de 9 de abril de 2012 (ver código-fonte) Adolfo (disc \| contribs)
Linha 1:		Linha 1:

−	* [http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf INTRODUCTION TO PREDICATE LOGIC]	+	* [http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf INTRODUCTION TO PREDICATE LOGIC, Neil D. Jones, DIKU 2005]