Počet záznamov: 1  

The Logical Basic for Computer programming

  1. NázovThe Logical Basic for Computer programming
    PodnázovDeductive systems
    Aut.údajeZohar Manna, Richard Waldinger
    Autor Manna Zohar
    Spoluautori Waldinger Richard
    Vyd.údajeReading : Addison-Wesley Publishing Company , 1990. - 642 s.
    Vydanie1st ed.
    ISBN0-201-18261-0
    Kľúč.slová programovanie - programming   výroková logika - propositional calculus   algoritmy - algorithms   unifikácia  
    Jazyk dok.angličtina
    KrajinaSpojené štáty
    Systematika 519.688=20
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxkni - KNIHY
    Počet ex.1, z toho voľných 0, prezenčne 1
    SignatúraLokáciaDislokáciaUmiestnenieInfo
    210220Univerzita Mateja BelaFP Katedra matematikylen 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.