Number of the records: 1
Logical Foundations of Functional Programming
Title Logical Foundations of Functional Programming Author info Gerard Huet Author Huet Gerard
Issue data Reading : Addison-Wesley Publishing Company , 1990. - 491 s. Issue 1st ed. ISBN 0-201-17234-8 Keywords matematika - mathematics integrálny počet - integral calculus Language English Country United States of America systematics 517.2/.3=20:005=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 210211 Univerzita Mateja Bela Department of mathematics In-Library Use Only
Number of the records: 1