Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
inbunden,
2021,
Engelska,
ISBN 9789811236471
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
inbunden,
2018,
Engelska,
ISBN 9789813270930
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …