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 
book
Call number Location Sublocation Umiestnenie Info 210220 Univerzita Mateja Bela Department of mathematics In-Library Use Only