Ламбда-исчисление
Sparad:
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Publicerad: |
NCFU
|
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| LEADER | 00633nam a2200145 i 4500 | ||
|---|---|---|---|
| 001 | F.NCFU.000295.069530 | ||
| 005 | 20140401011556.0 | ||
| 200 | |a Ламбда-исчисление |e Его синтаксис и семантика |f Пер. с англ. Г.Е. Минца |f Под ред. А.С. Кузичева | ||
| 210 | |a М. |c Мир |d 1985 | ||
| 215 | |a 606с.:ил. | ||
| 700 | 1 | |a Барендрегт |b Х. П. |g Хедрик Питер | |
| 801 | 0 | |a RU |b NCFU |c 20140401 |g rcr | |
| 801 | 1 | |2 rusmarc |a RU |b NCFU |c 20140401 | |
| 899 | |i Б 248 |j 517 | ||
| 993 | |a 41044 |b F.NCFU.00035D.11B4C1 |e 517121 |f F.NCFU.000295.07723F |h 3-70 |i 800000045508 |m 1 |n 37944.510462962964 |o I | ||