Pessoas:

Laboratorios:

Relacionados:

Jefferson de Barros Santos

Palavras-chave

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