Lenguaje apl e implicaciones en logica simbolica.
Tesis doctoral de Lorente Tallada Juan Manuel El trabajo consiste en la presentacion de un calculo que aritmetiza el metodo […]
Tesis doctoral sobre Logica simbolica
Accede a todas las tesis doctorales sobre Logica simbolica mas relevantes.
Variants of unification considering compression and context variables
Tesis doctoral de Adrián Gascón Caro Term unification is a basic operation in several areas of computer science, specially in
Rule-based methodologies for the specification and analysis of complex computing systems
Tesis doctoral de Michele Baggi From the earliest hardware and software days to the internet era, complexity of computer systems