Počet záznamov: 1  

Dokazovanie viet počítačom

  1. Údaje o názveDokazovanie viet počítačom / aut. Jana Kotúčová ; škol. Ľudovít Molnár
    Záhlavie-meno Kotúčová, Jana (Autor)
    Ďal.zodpovednosť Molnár, Ľudovít, 1940- Z7 (Školiteľ (konzultant))
    Vyd.údaje1983 Bratislava : Slovenská vysoká škola technická
    Fyz.popis44 s.
    KrajinaSlovensko, Slovenská republika
    Jazyk dok.slovenčina
    Druh dok.DDP - diplomová práca
    kniha

    kniha

    Čiar.kódLokačná signatúraSignatúraLokáciaDislokáciaInfo
    I*DP1/83Fakulta informatiky a informačných technológiíCentrum informačných knižničných služieblen 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.