Počet záznamov: 1
A Structural Co-induction Theorem
Názov A Structural Co-induction Theorem Autor Carpenter M.P. Vyd.údaje Amsterdam : Stichting Mathematisch Centrum , 1993. - 17s. Edícia CWI Jazyk dok. eng - angličtina Krajina NL - Holandsko MDT 512 Katal.org. SAVINFO Počet ex. 1, z toho voľných 0, prezenčne 1 Druh dok. správy výskumné kniha
Signatúra Lokácia Dislokácia Info R TR 91/93 Ústav informatiky SAV len prezenčne
Počet záznamov: 1