Výsledky vyhľadávania

Nájdených záznamov: 1  
Váš dotaz: Autor-kód záznamu = "^sav_un_auth 0003294^"

  1. 1.A Structural Co-induction Theorem

    NázovA Structural Co-induction Theorem
    Autor Carpenter M.P.
    Vyd.údajeAmsterdam : Stichting Mathematisch Centrum , 1993. - 17s.
    EdíciaCWI
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha



  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