Výsledky vyhľadávania

Nájdených záznamov: 1  
Váš dotaz: Autor-kód záznamu + druh.dok = "^sav_un_auth 0003223 avs^"
 V košíku (0)

  1. 1.Automated Mathematical Induction

    NázovAutomated Mathematical Induction
    Autor Bouhoula A.
    Spoluautori Mikloš P.
    Gašparovičová L.
    Vyd.údajeLeChesnay Cedex : Institut National de Recherche en Informatique et en Automatique , 1992. - 44s.
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    nerozpoznaný

    nerozpoznaný



  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