An application of a theorem prover

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

Guardado en:
Detalles Bibliográficos
Autores principales: Campos, M., Lins, R.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1997
Materias:
Ciencias Informáticas
Applications
Application
Theorem Prover
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24122
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24122
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Applications
Application
Theorem Prover
spellingShingle Ciencias Informáticas
Applications
Application
Theorem Prover
Campos, M.
Lins, R.
An application of a theorem prover
topic_facet Ciencias Informáticas
Applications
Application
Theorem Prover
description 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
format Objeto de conferencia
Objeto de conferencia
author Campos, M.
Lins, R.
author_facet Campos, M.
Lins, R.
author_sort Campos, M.
title An application of a theorem prover
title_short An application of a theorem prover
title_full An application of a theorem prover
title_fullStr An application of a theorem prover
title_full_unstemmed An application of a theorem prover
title_sort application of a theorem prover
publishDate 1997
url http://sedici.unlp.edu.ar/handle/10915/24122
work_keys_str_mv AT camposm anapplicationofatheoremprover
AT linsr anapplicationofatheoremprover
AT camposm applicationofatheoremprover
AT linsr applicationofatheoremprover
bdutipo_str Repositorios
_version_ 1764820466637209606

Ejemplares similares