Geometric Logic in Computer Science
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Geometric Logic in Computer Science
|
| Id. |
41927619 |
| Idioma |
inglés
|
| Titulo |
Geometric Logic in Computer Science |
| Autor(es) |
Steve Vickers
|
| Localización |
http://citeseer.ist.psu.edu/492072.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We present an introduction to geometric logic and the mathematical structures
associated with it, such as categorical logic and toposes. We also describe some
of its applications in computer science including its potential as a logic for specification
languages.
|
| Tipo |
ps
|
| Palabras clave |
Steve Vickers Geometric Logic in Computer Science
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.doc.ic.ac.uk/~sjv/GLiCS.ps.gz
[References] oai:CiteSeerPSU:490463
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
