Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden
1
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Rob Nederpelt, Herman Geuvers
Jahr:
2014
Sprache:
english
Datei:
PDF, 2.35 MB
4.5 / 5.0
english, 2014
2
Logical reasoning : a first course

Logical reasoning : a first course

Rob. Nederpelt, Fairouz. Kamareddine
Jahr:
2011
Sprache:
english
Datei:
PDF, 10.06 MB
0 / 0
english, 2011
3
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Professor Rob Nederpelt, Professor Herman Geuvers
Jahr:
2014
Sprache:
english
Datei:
PDF, 2.67 MB
4.5 / 4.0
english, 2014
4
Type theory and formal proof: an Introduction

Type theory and formal proof: an Introduction

Geuvers, Jan Herman, Nederpelt, R. P
Jahr:
2014
Sprache:
english
Datei:
PDF, 1.92 MB
4.5 / 0
english, 2014
5
Logical Reasoning: A First Course

Logical Reasoning: A First Course

Rob P. Nederpelt, Fairouz D. Kamareddine
Jahr:
2004
Sprache:
english
Datei:
PDF, 80.72 MB
0 / 3.0
english, 2004
6
A Modern Perspective on Type Theory: From its Origins until Today

A Modern Perspective on Type Theory: From its Origins until Today

Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Jahr:
2005
Sprache:
english
Datei:
DJVU, 3.48 MB
0 / 0
english, 2005
7
Selected Papers on Automath

Selected Papers on Automath

R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer (editors)
Jahr:
1994
Sprache:
english
Datei:
PDF, 49.76 MB
0 / 0
english, 1994
8
Selected papers on automath

Selected papers on automath

Nederpelt R.P., Geuvers J.H., de Vrijer R.C. (eds.)
Jahr:
1994
Sprache:
english
Datei:
DJVU, 5.76 MB
0 / 0
english, 1994
9
A Modern Perspective on Type Theory: From its Origins until Today

A Modern Perspective on Type Theory: From its Origins until Today

Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Jahr:
2005
Sprache:
english
Datei:
PDF, 5.91 MB
0 / 0
english, 2005