Publicacions

Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers

Publication Type:

Conference Paper

Source:

ISMVL 2012 (2012)

Projectes: