Pessoas:

Laboratorios:

Relacionados:

Jefferson de Barros Santos

Palavras-chave

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