Subir material

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

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-11-14T11:51:15Z
dc.date.available 2012-11-14T11:51:15Z
dc.date.issued 1997
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/24122
dc.description.abstract This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem proving en
dc.language en es
dc.subject Applications es
dc.subject Application en
dc.subject Theorem Prover en
dc.title An application of a theorem prover en
dc.type Objeto de conferencia es
sedici.creator.person Campos, M. es
sedici.creator.person Lins, R. es
sedici.description.note Eje: Conferencia latinoamericana de programación funcional es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 1997
sedici.relation.event III Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (148.9Kb) - PDF

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

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)