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

Publicaciones en la fuente JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Tipo Año Título Fuente
Artículo2018A logic-algebraic tool for reasoning with Knowledge-Based SystemsJOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING