Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS

Tipo Año Título Fuente
Ponencia2009ACL2 verification of simplicial degeneracy programs in the kenzo systemINTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS
Ponencia2009Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundationsINTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS