← Catalogus

C.A. Grabmeyer

1 titel in de boekenbase · Auteur
Theoretische informatica
Over C.A. Grabmeyer
C.A. Grabmeyer staat met 1 titel in de boekenbase als auteur. Het werk valt vooral onder theoretische informatica.
Relating proof systems for recursive types
C.A. Grabmeyer
Relating proof systems for recursive types
C.A. Grabmeyer
Paperback