Search results
Title The Logical Basic for Computer programming Subtitle Deductive systems Author info Zohar Manna, Richard Waldinger Author Manna Zohar
Co-authors Waldinger Richard
Issue data Reading : Addison-Wesley Publishing Company , 1990. - 642 s. Issue 1st ed. ISBN 0-201-18261-0 Keywords programovanie - programming výroková logika - propositional calculus algoritmy - algorithms unifikácia Language English Country United States of America systematics 519.688=20 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 210220 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Matematická teorie programů Author info Zohar Manna; z amerického originálu ... preložil Jiří Hořejš Author Manna Zohar
Another authors Hořejší Jiří (Translator)
Issue data Praha : SNTL , 1981. - 468 s. : il. Issue 1.vyd. Edition Knižnice výpočetní techniky Keywords matematická informatika - mathematical informatics programovanie - programming Language Czech Country Czechoslovakia systematics 519.681/075.8/ Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 3, currently available 2, at library only 1 Call number Location Sublocation Umiestnenie Info 142582 Univerzita Mateja Bela Department of absent lending 142581 Univerzita Mateja Bela Department of computer science In-Library Use Only 142580 Univerzita Mateja Bela Department of absent lending