Semantik der probabilistisch typisierten Lambda-Rechnung: Markov-Kettensemantik,
130,17 €
The book starts with a recapitulation of the basic mathematical tools needed throughout the book, in particular Markov chains, graph theory and domain theory, and also explores the topic of inductive definitions.
Jetzt bei Ebay:
![Produktbild - Dynamic Probabilistic Systems, Volume I: Markov Models [Volume 1] [Dover Books o](https://i.ebayimg.com/thumbs/images/g/IccAAOSwB-1YpJiq/s-l140.jpg)
![Produktbild - The Lambda Calculus. Its Syntax and Semantics by Barendregt, Henk [Paperback]](https://i.ebayimg.com/thumbs/images/g/4FwAAeSwl4NoNg6R/s-l140.jpg)
