Integrated observations of greenhouse gas budgets at the ecosystem level; changing environment and management practices in peat meadows
 »

Clausification in Coq
 »

Clausification of first-order formulae, representation & correctness in type theory
 »

Leid me... als ik luisteren wil!
Dit boek vertelt het verhaal van Diana Hendriks (1967). Wanneer ze via automatisch schrijven (berichten uit het universum) de spirituele wereld ontdekt, neem... »

Integrale gevalstudie boekhouden
 »

De overtuin
 »

Binnenlandse handel
 »

Binnenlandse handel
 »

Proof reflection in Coq
 »