Výsledky vyhľadávania
Názov The Logical Basic for Computer programming Podnázov Deductive systems Aut.údaje Zohar Manna, Richard Waldinger Autor Manna Zohar
Spoluautori Waldinger Richard
Vyd.údaje Reading : Addison-Wesley Publishing Company , 1990. - 642 s. Vydanie 1st ed. ISBN 0-201-18261-0 Kľúč.slová programovanie - programming výroková logika - propositional calculus algoritmy - algorithms unifikácia Jazyk dok. angličtina Krajina Spojené štáty Systematika 519.688=20 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 
kniha
Signatúra Lokácia Dislokácia Umiestnenie Info 210220 Univerzita Mateja Bela FP Katedra matematiky len prezenčne