Logical foundations of functional progra
β GeΜrard Huet
π Library
π
1990
π Addison-Wesley, Addison-Wesley Pub (Sd)
π English
β¦ LIBER β¦
π
Logical Foundations of Functional Programming
β Scribed by Gerard Huet
- Publisher
- Addison-Wesley Pub (Sd)
- Year
- 1990
- Tongue
- English
- Leaves
- 510
- Series
- Ut Year of Programming Series
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Foundations of logic programming
β J. W Lloyd
π Library
π
1984
π Springer-Verlag
π English
A good explanation of pure Prolog and their inference mechanisme. Elementary considerations of using negation in Prolog but a new look about continous processes. Dedicated to lecture notes for students and undergraduates.
Foundations of logic programming
β John Wylie Lloyd
π Library
π
1987
π Springer
π English
This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of Logic Programming, which have previously only been available in widely scattered re
Foundations of logic programming
β John Wylie Lloyd
π Library
π
1987
π Springer
π English
This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of Logic Programming, which have previously only been available in widely scattered re
Foundations of Logic Programming
β John W. Lloyd
π Library
π
1987
π Springer
π English
This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of Logic Programming, which have previously only been available in widely scattered re
Foundations of Logic Programming
β John Wylie Lloyd (auth.)
π Library
π
1984
π Springer Berlin Heidelberg
π English