Reducciones totales y parciales para el analisis de validez y construccion de modelos en m3.

Tesis doctoral de Gabriel Aguilera Venegas Esta tesis estudia la demostracion automatica de teoremas en logicas trivaluadas. Concretamente se presenta […]

, , , , ,