Semantics modulo satisfiability with applications: function representation, probabilities and game theory

Preto, Sandro Márcio Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-06-04

Acesso online. A biblioteca também possui exemplares impressos.