Type theory and the integrated logic of programs /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Undetermined |
| Publicado: |
Göteborg, Sweden :
Chalmers, Göteborg University,
c1999.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00628nam a22001575a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic001403 | ||
| 008 | 150707s1999####xx#a#####b####000#0#und#d | ||
| 005 | 20151124140759.0 | ||
| 245 | 1 | 0 | |a Type theory and the integrated logic of programs / |c Henrik Persson. |
| 260 | |a Göteborg, Sweden : |b Chalmers, Göteborg University, |c c1999. | ||
| 300 | |a 85 p. : |b il. ; |c 24 cm. | ||
| 500 | |a Thesis for the Degree of Doctor of Philosophy. A dissertation for the Ph. D. Degree in Computing Science at Göteborg University. | ||
| 504 | |a Bibliografía( 81- 85 p). | ||
| 020 | |a 9162836498 | ||
| 100 | 1 | |a Persson, Henrik. | |
| 859 | |a DCIC |b BIB. COMPUTACION |p 0801 | ||