Télécharger le livre :  Selected Papers on Automath
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....

Editeur : North Holland
Parution : 1994-10-20
PDF sans DRM

66,49

Téléchargement immédiat
Dès validation de votre commande