Type Theory and Formal Proof
2401 Kč
Odesíláme do 1 až 2 týdnů
Sleva až 70% u třetiny knih
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
| Autor: | Kamareddine, Fairouz; Nederpelt, Rob |
| Nakladatel: | Cambridge University Press |
| ISBN: | 9781107036505 |
| Rok vydání: | 2014 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 466 |
Mohlo by se vám také líbit..
-
Logical Reasoning
Kamareddine, Fairouz; Nederpelt, Rob
-
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
-
Quantum Computing for Computer Scien...
Yanofsky, Noson S.
-
Learning Scientific Programming with ...
Hill, Christian
-
How to Write Good Programs
Stevens, Perdita
-
Applied Stochastic Differential Equat...
Sarkka, Simo (Aalto University, Finland); Solin, Arno (Aalto University, Finland)
-
A/AS Level Computer Science for WJEC...
Surrall, Alistair; Hamflett, Adam
-
Integer Linear Programming in Comput...
Gusfield, Dan (University of California, Davis)
-
Images as Data for Social Science Re...
Webb Williams, Nora (University of Illinois, Urbana-Champaign); Casas, Andreu (Vrije Universiteit, Amsterdam); Wilkerson
-
Wireless Communications and Networkin...
Saad, Walid (Virginia Polytechnic Institute and State University); Bennis, Mehdi (University of Oulu, Finland); Mozaffar
-
Foundations of Cryptography: Volume ...
Goldreich, Oded
-
How to Prove It
-
Neural Machine Translation
Koehn, Philipp (University of Edinburgh)
-
Modern Compiler Implementation in Java
Appel, Andrew W.
-
Data-Driven Science and Engineering
Duriez, Thomas; Brunton, Steven L.; Noack, Bernd R.