• 1232 Citaties
1980 …2019

Research output per year

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Cursussen

Applied Logic

1/09/19 → …

Cursus

Automated reasoning

1/09/15 → …

Cursus

Fundamentals of informatics

1/09/1331/08/20

Cursus

Logic and set theory for P&T

1/09/1831/08/21

Cursus