寄付 2024年9月15日 – 2024年10月1日 募金について
1
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Rob Nederpelt, Herman Geuvers
年:
2014
言語:
english
ファイル:
PDF, 2.35 MB
4.5 / 5.0
english, 2014
2
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Professor Rob Nederpelt, Professor Herman Geuvers
年:
2014
言語:
english
ファイル:
PDF, 2.67 MB
4.5 / 4.0
english, 2014
3
Type theory and formal proof: an Introduction

Type theory and formal proof: an Introduction

Geuvers, Jan Herman, Nederpelt, R. P
年:
2014
言語:
english
ファイル:
PDF, 1.92 MB
4.5 / 0
english, 2014
5
Logic Colloquium 2006

Logic Colloquium 2006

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen (Editors)
年:
2009
言語:
english
ファイル:
PDF, 1.86 MB
0 / 0
english, 2009