Vista normal Vista MARC

Sistema dedutivo-Cálculo de Hilbert (Topical Term)

Número de registos: 1
Forma preferida: Sistema dedutivo-Cálculo de Hilbert

Machine generated authority record

Work cat.: (BNCV)19822: Barreto, Maria Nilde Fernandes 61454, Análise estruturada e formal das provas, 2009