Number of the records: 1
The Logical Basic for Computer programming
- Názov
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 
book
Nútené práce na SlovenskuAut.údajeVladimír VarinskýAutorZdroj.dok.Obzor Gemera-Malohontu : [regionálny odborný časopis]. Roč. 24, č. 1 (1993), s. 6-10. - Rimavská Sobota : Gemerská vlastivedná spoločnosť, 1993Kľúč.slováSignatúra Lokácia Dislokácia Umiestnenie Info 210220 Univerzita Mateja Bela FP Katedra matematiky len prezenčne
Number of the records: 1