Een vergelijking van methoden voor natuurlijke deductie

  • W.J.A. de Vaal

Student thesis: Master

Abstract

Date of Award31 Jul 1999
Original languageDutch
SupervisorRob Nederpelt (Supervisor 1)

Cite this

'