Approximate and limited reasoning semantics, proof theory, expressivity and control
Marcelo Finger Renata Wassermann
Journal of Logics and Computation Oxford v. 12, n. 2, p. 179-204, 2004
Oxford 2004
Localização:
IME - Inst. Matemática e Estatística
(PROD-1396266 )(Acessar)