Exportar registro bibliográfico


Metrics:

Approximate and limited reasoning: semantics, proof theory, expressivity and control (2004)


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