Akademska digitalna zbirka SLovenije - logo
FMF in IMFM, Matematična knjižnica, Ljubljana (MAKLJ)
  • Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA'95 Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
    International conference on typed lambda calculi and applications, TLCA'95 (2 ; 1995 ; Edinburgh)
    Vrsta gradiva - konferenčni zbornik
    Založništvo in izdelava - Berlin ; Heidelberg : Springer, 1995
    Jezik - angleški
    ISBN - 978-3-540-59048-4; 978-3-540-49178-1
    COBISS.SI-ID - 16190213

    Povezava(-e):

    http://dx.doi.org/10.1007/BFb0014040

Dostopna je elektronska verzija dokumenta ali pa gre za elektronski vir
loading ...
loading ...
loading ...

Vnos na polico