Rob NederpeltRob Nederpelt was Lecturer in Logic for Computer Science until his retirement. Currently he is a guest researcher in the Faculty of Mathematics and Computer Science at Eindhoven University of Technology, The Netherlands.
An OTP has been sent to your Registered Email Id:
Resend Verification Code