Búsqueda de LIBROS DEL AUTOR: geuvers j h

1 resultados

• 

  ebook

  SELECTED PAPERS ON AUTOMATH

  NEDERPELT, R.P. / GEUVERS, J.H. / DE VRIJER, R.C.

  The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of mater...

  $928.00

  Ver detalle