Lambda-Calculus and Combinators
2275 Kč
Sleva až 70% u třetiny knih
This book gives an account of combinatory logic and lambda-calculus models.
| Autor: | Hindley, J. Roger (University of Wales, Swansea); Seldin, Jonathan P. (University of Lethbridge, Alberta) |
| Nakladatel: | Cambridge University Press |
| ISBN: | 9780521898850 |
| Rok vydání: | 2008 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 358 |
Mohlo by se vám také líbit..
-
Quantum Computing for Computer Scien...
Yanofsky, Noson S.
-
Learning Scientific Programming with ...
Hill, Christian
-
Mathematics for Machine Learning
Deisenroth, Marc Peter (University College London); Faisal, A. Aldo (Imperial College London); Ong, Cheng Soon
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
Game Theory Basics
Von Stengel, Rudiger
-
Interchange Level 2 Teacher´s Edition...
Richards, Jack C.
-
A Level Comp 2 Computer Science OCR
Surrall, Alistair; Hamflett, Adam
-
A/AS Level Computer Science for WJEC...
Surrall, Alistair; Hamflett, Adam
-
A Hands-On Introduction to Data Science
Shah, Chirag (University of Washington)
-
Foundations of Cryptography: Volume ...
Goldreich, Oded
-
Integer Linear Programming in Comput...
Gusfield, Dan (University of California, Davis)
-
Purely Functional Data Structures
Okasaki, Chris (Columbia University, New York)
-
Modern Statistics for Modern Biology
Holmes, Susan (Stanford University, California); Huber, Wolfgang
-
Modern Compiler Implementation in ML
Appel, Andrew W.
-
Foundations of Data Science
Blum, Avrim; Hopcroft, John (Cornell University, New York); Kannan, Ravi
-
Model-Based Clustering and Classific...
Bouveyron, Charles; Celeux, Gilles; Murphy, T. Brendan (University College Dublin); Raftery, Adrian E. (University of Wa