f d kamareddine
A Modern Perspective on Type Theory
EbookSofort lieferbarThis book provides an overview of type theory. The first part of the book is historical, yet at t...
Intelligent Technologies and Applications
EbookSofort lieferbarThis book constitutes the refereed proceedings of the First International Conference on Intellige...
School Farms
EbookSofort lieferbarThis book highlights the potential of school farms to fight hunger and malnutrition by providing ...
School Farms
EbookSofort lieferbarThis book highlights the potential of school farms to fight hunger and malnutrition by providing ...
Intelligent Computer Mathematics
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 14th International Conference on Intelligen...
Thirty Five Years of Automating Mathematics
EbookSofort lieferbarTHIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. ...
Logical Reasoning
TaschenbuchBezug 6-10This book describes how logical reasoning works and puts it to the test in applications. It is se...
A Century since Principia’s Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin’s 80th Anniversary
TaschenbuchBezug 6-10In 1922,Curry started reading Principia Mathematica and was intrigued by the complications of i...
A Primer of Mathematical Analysis and the Foundations of Computation
TaschenbuchBezug 6-10This book is a different approach to teaching the foundations of mathematical analysis and of com...
A Modern Perspective on Type Theory
TaschenbuchBezug 11-15`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...
Thirty Five Years of Automating Mathematics
BuchBezug 11-15THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. ...
A Modern Perspective on Type Theory
BuchBezug 11-15`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...
- 1
- 2