Descargar	Nº	Título	Por
	1	5-reasoning about evaluation.pdf 1.1 mb	Éric Tanter 20 Mar 201220/03/122012-03-20
	2	4-operational.pdf 302 kb	Éric Tanter 19 Mar 201219/03/122012-03-19
	3	3-syntax : induction.pdf 2 mb	Éric Tanter 19 Mar 201219/03/122012-03-19
	4	tapl-background.pdf 973 kb	Éric Tanter 12 Mar 201212/03/122012-03-12