Mostrando 1 - 3 resultados de 3 para a busca 'satisfiability models theory', tempo de busca: 0,08s

1

Assuntos: ...Satisfiability...

Sobre o conceito semântico de satisfação

Publicado em 2015
Tese

3

... is concerned with the automated analysis of a particular kind of such social models, namely, those based...

Verification of behaviourist multi-agent systems by means of formally guided simulations

Publicado em 2011
Tese