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

Producción científica: Capítulo del libro/Acta de congreso › Acta de congreso › revisión exhaustiva

Idioma original	Inglés
Título de la publicación alojada	Acta de congrés
Páginas	25-30
Número de páginas	6
Estado	Publicada - 2012

Citar esto

@inproceedings{9cc49d02a3fa471791e46709567aaed7,

title = "Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers",

author = "\{Villaret Auselle\}, Mateu and C. Ansotegui and M. Bofill and F. Manya",

year = "2012",

language = "English",

isbn = "0195-623X",

pages = "25--30",

booktitle = "Acta de congr{\'e}s",

}