Pessoas:

Laboratorios:

Relacionados:

Jefferson de Barros Santos

Palavras-chave

model counter generation implicational logic proof provability procedure minimal implicational propositional unified