Proof Procedures for Multiple-Valued Propositional Logics
Proof Procedures for Multiple-Valued Propositional Logics
Felip
Felip
 
Manyà
Manyà
 (
)
Proof Procedures for Multiple-Valued Propositional Logics
Proof Procedures for Multiple-Valued Propositional Logics
 

An industrial PhD

Advisors: 

Gonzalo E. Imaz

Gonzalo E. Imaz

University: 

Abstract: