r p nederpelt
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...
Type Theory and Formal Proof
EbookSofort lieferbarType theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...
Type Theory and Formal Proof
EbookSofort lieferbarType theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...
Selected Papers on Automath
EbookSofort lieferbarThe present volume contains a considered choice of the existing literature on Automath. Many of t...
Logical Reasoning
TaschenbuchBezug 6-10This book describes how logical reasoning works and puts it to the test in applications. It is se...
Type Theory and Formal Proof
BuchBezug 11-15A gentle introduction for graduate students and researchers in the art of formalizing mathematics...
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...
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...
Object-oriented Quality Management (OQRM). Een praktische methode voor kwaliteits- en risicomanagement.
TaschenbuchBezug 11-15Het management wil iets met kwaliteit of risico's doen, maar weet niet waar te beginnen. Het moet...
Object-oriented Quality and Risk Management (OQRM). A practical and generic method to manage quality and risk.
TaschenbuchBezug 11-15Management aims to control quality and risks, but it often does not know where to start. Preferab...
- 1