Relations in dependent type theory /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Göteborg, Sweden :
Göteborg University,
2006.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00632cam a22001937a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic001237 | ||
| 008 | 060804s2006####sw############000#0#eng## | ||
| 005 | 20151130132641.0 | ||
| 245 | 1 | 0 | |a Relations in dependent type theory / |c Carlos Gonzalía. |
| 260 | |a Göteborg, Sweden : |b Göteborg University, |c 2006. | ||
| 300 | |a vii, 222 p. ; |c 24 cm. | ||
| 020 | |a 9162867636 | ||
| 100 | 1 | |a Gonzalía, Carlos. | |
| 653 | 0 | |a Category of relations; |a database theory; |a program logics | |
| 010 | |a 2006436783 | ||
| 040 | |a DLC |c DLC | ||
| 050 | 0 | 0 | |a MLCM 2008/43309 (Q) |
| 859 | |a DCIC |b BIB. COMPUTACION |p 1849 |t 1 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 2168 |t 2 | ||