Computations in higher types
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlín
Springer-Verlag
1977
|
| Series: | Lecture Notes in Mathematics, 574
|
| Subjects: | |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCQ8254 | ||
| 003 | CL-VaPUC | ||
| 008 | 981209e19770000GW |||||||||||||||||eng|d | ||
| 082 | 0 | 4 | |a 511.35 |b MOL |2 21 |
| 100 | |a Moldestad, Johan |e autor |9 422091 | ||
| 245 | 1 | 0 | |a Computations in higher types |
| 300 | |a 203 p | ||
| 942 | |c BK | ||
| 945 | |d 19981209 00:00:00 |a crobeson | ||
| 260 | |a Berlín |b Springer-Verlag |c 1977 | ||
| 650 | 7 | |a FUNCIONES RECURSIVAS |2 CL-VaPUC |9 270697 | |
| 583 | |a last modification |c 19981209 00:00:00 |k Rodrigo Vera | ||
| 490 | 0 | |a Lecture Notes in Mathematics, 574 | |
| 999 | |c 277539 |d 277537 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_350000000000000_MOL_1977 |7 0 |8 A |9 315532 |a BIBMAT |b BIBMAT |d 2019-11-20 |i 1300164 |o 511.35 MOL 1977 |p 1300164 |r 2025-01-07 |w 2019-11-20 |y BK |k MAT | ||