Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2017-01-05T15:14:53Z
dc.date.available 2017-01-05T15:14:53Z
dc.date.issued 2016
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/58127
dc.description.abstract 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 satisfacibilidad). La herramienta provee una interfaz sencilla de utilizar y de entender, ya que uno de los objetivos es que sea usada por futuros alumnos de materias que estudien el tema. es
dc.format.extent 232-241 es
dc.language es es
dc.subject Lógica de Predicados de Primer Orden es
dc.subject Modelos de Herbrand es
dc.title THeM: una herramienta didáctica para modelos de Herbrand es
dc.type Objeto de conferencia es
sedici.identifier.uri http://45jaiio.sadio.org.ar/sites/default/files/EST-1635.pdf es
sedici.identifier.issn 2451-7615 es
sedici.creator.person Dahl, Juan Ricardo es
sedici.creator.person Fujii, Daniel es
sedici.description.note Trabajos de cátedra. es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Sociedad Argentina de Informática e Investigación Operativa (SADIO) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution 3.0 Unported (CC BY 3.0)
sedici.rights.uri http://creativecommons.org/licenses/by/3.0/
sedici.date.exposure 2016-09
sedici.relation.event XIX Concurso de Trabajos Estudiantiles (EST 2016) - JAIIO 45 (Tres de Febrero, 2016). es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (1.028Mb) - PDF
Icon
Enlace externo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution 3.0 Unported (CC BY 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution 3.0 Unported (CC BY 3.0)