THeM: una herramienta didáctica para modelos de Herbrand

La herramienta ‘THeM’ fue creada como trabajo de final de dos materias de segundo año de una carrera de Informática. Esta permite, dado un conjunto de cláusulas de la Lógica de Predicados de Primer Orden, determinar la existencia de Modelos de Herbrand para las mismas (lo cual permite conocer su sat...

Full description

Saved in:
Bibliographic Details
Main Authors: Dahl, Juan Ricardo, Fujii, Daniel
Format: Objeto de conferencia
Language:Spanish / Castilian
Published: 2016
Subjects:
Online Access:http://sedici.unlp.edu.ar/handle/10915/58127
http://45jaiio.sadio.org.ar/sites/default/files/EST-1635.pdf

CIC - Centro de Información y Conocimiento Johannes Gutenberg ®