Travelled to:1 × The Netherlands
Collaborated with:P.H.Hartel D.Tromp
Talks about:student (1) scienc (1) comput (1) skill (1) proof (1) basic (1)
Person: Bert van Es
DBLP: Es:Bert_van
Contributed to:
1995Wrote 1 papers:
- FPLE-1995-HartelET #proving #student
- Basic Proof Skills of Computer Science Students (PHH, BvE, DT), pp. 269–287.