Regresar

A tool for the automatic generation of logical models of order-sorted first-order theories

Abstract:

Año de publicación:

2016

Keywords:

    Fuente:

    googlegoogle

    Tipo de documento:

    Other

    Estado:

    Acceso abierto

    Áreas de conocimiento:

    • Ciencias de la computación
    • Ciencias de la computación

    Áreas temáticas:

    • Ciencias de la computación

    Contribuidores:

    Patricio ReinosoPatricio Reinoso