Exportar registro bibliográfico

Aplicacao de bdd em problemas de sintese e verificacao de logica combinatoria (1996)


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021