-
Logical Foundations of Proof Complexity
- Auteur: Stephen Cook, Phuong Nguyen
- ISBN: 978-0-511-67716-8
- Rayon: C
- Maison Edition: Cambridge university press
- Ville Edition: New York
- Année Edition: 2010
- Domaine: Mathématiques
-
-
-
-
-
-
This accessible new volume examines and evaluates the principles of programming languages from both their common and language-specific elements. Each chapter is devoted to a particular programming language issue. These issues are illustrated with an example from one of the many programming languages used today
-
A comprehensive learning resource for undergraduate and graduate students, with new chapters on deep learning, causality, and social impact.
-