Počet záznamov: 1  

Proof-theoretic methods for analysis of functional programs

  1. NázovProof-theoretic methods for analysis of functional programs : Dissertation proposal
    Autor Hannan J.
    Vyd.údajePhiladelphia : Univ. of Pennsylvania , 1989
    Jazyk dok.eng - angličtina
    KrajinaUS - Spojené štáty
    Katal.org.SAVINFO
    Počet ex.1, z toho voľných 0, prezenčne 1
    kniha

    kniha

    SignatúraLokáciaDislokáciaInfo
    TR 367/90Ústav informatiky SAVKNIZNICAlen prezenčne

Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.

Prijať všetkoNastavenieOdmietnuť všetko