Discriminators in lambda calculus
| Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01000178896/Details |
|---|---|
| Matična publikacija: |
CIT. Journal of computing and information technology 3 (1995), 4 ; str. 255-277 |
| Glavni autor: | Gaborovič, Svitan (-) |
| Vrsta građe: | Članak |
| Jezik: | eng |
| Predmet: |
| LEADER | 00780caa a2200253 ir4500 | ||
|---|---|---|---|
| 001 | NSK01000178896 | ||
| 003 | HR-ZaNSK | ||
| 008 | 961216s1995 ci ||| ||eng | ||
| 035 | |9 (HR-ZaNSK)179100 | ||
| 035 | |9 (HR-ZaNSK)961216113 | ||
| 035 | |a (HR-ZaNSK)000178896 | ||
| 040 | |a HR-ZaNSK |b hrv |c HR-ZaNSK |e ppiak | ||
| 041 | 0 | |a eng | |
| 080 | |a 007:681.3 | ||
| 080 | |a 519.76 | ||
| 100 | 1 | |a Gaborovič, Svitan | |
| 245 | 1 | 0 | |a Discriminators in lambda calculus / |c Svitan Gaborovič. |
| 504 | |a Bibliografija: 12 jed | ||
| 653 | 0 | |a Lambda račun | |
| 773 | 0 | |t CIT. Journal of computing and information technology |x 1330-1136 |g 3 (1995), 4 ; str. 255-277 |w nsk.(HR-ZaNSK)000018028 | |
| 932 | |a da | ||
| 981 | |z B12/95 | ||
| 998 | |c duto9803 |c ikak9803 | ||
| 886 | 0 | |2 unimarc |b 00527iaa2 2200193 450 | |