Exportar registro bibliográfico

Improved prolog implementation of wang's theorem prover algorithm (1993)


Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2021