-
Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy 7-9, 1999 : proceedingsVrsta gradiva - konferenčni zbornikZaložništvo in izdelava - Berlin [etc.] : Springer, 1999Jezik - angleškiISBN - 3-540-65763-0COBISS.SI-ID - 20643845
Drugi avtorji
Girard, Jean-Yves |
International Conference on Typed Lambda Calculi and Applications
Zbirka
Lecture notes in computer science
Teme
računalništvo |
tipizirani Lamda računi |
geometrija interakcij |
kvantitativna semantika |
aksiomatizem |
polimorfizem |
izomorfizmi |
Jacopinijev teorem |
zborniki |
mathematics |
software engineering |
theoretical computer science |
counting |
commutative property |
complexity |
differential equations |
lambda calculus |
logic |
proof |
type theory
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
Centralna tehniška knjižnica Univerze v Ljubljani | 32987/1581 Skladišče IN: 199901065 |
prosto - na dom, čas izposoje: 14 dni |
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.