Proof and Computation II
From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Edición de la obra Proof and Computation II
| Autor | Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg |
|---|---|
| Editorial | World Scientific Publishing Co Pte Ltd |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| ISBN-13 | 9789811236471 |
| Número de Cutter | M227p |