Lambda - isčislenije : Jego sintaks i sematika /
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | russo |
| Pubblicazione: |
Moskva :
Mir,
1985
|
| Edizione: | 1.vyd. |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000nam a22000003a 4500 | ||
|---|---|---|---|
| 001 | stu8439 | ||
| 005 | 20150617225805.8 | ||
| 008 | 960122s1985----xxr-----------------rus-d | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | |a rus | |
| 044 | |a xxr | ||
| 080 | |a 510.6 | ||
| 080 | |a 510.2 | ||
| 080 | |a 517 |7 stu_us_auth*stu8334 | ||
| 100 | 1 | |a Barendreot, H.P |4 aut | |
| 242 | 0 | 0 | |a Lambda calculus |y eng |
| 245 | 1 | |a Lambda - isčislenije : |b Jego sintaks i sematika / |c [aut.] Barendregt,H.P | |
| 250 | |a 1.vyd. | ||
| 260 | |a Moskva : |b Mir, |c 1985 | ||
| 300 | |a 606 s | ||
| 996 | |c I*16TJ3097 |l I |s A |a 24 |w stu8439_0001 | ||
| 996 | |b E62356 |c E*62356 |l EE03 |s P |a 0 |w stu8439_0002 | ||