Vista normal
Vista MARC
Correção dos cálculos-Completude dos cálculos (Topical Term)
Machine generated authority record
Work cat.: (BNCV)19822: Barreto, Maria Nilde Fernandes 61454, Análise estruturada e formal das provas, 2009
Machine generated authority record
Work cat.: (BNCV)19822: Barreto, Maria Nilde Fernandes 61454, Análise estruturada e formal das provas, 2009