Couverture : Open Library
Selected papers on Automath
Robert Pieter Nederpelt, Herman Geuvers, Roel de Vrijer, L Benthem Jutting, Diederik T. van Daalen
Détails de l'édition
- ISBN-13
- 9780444898227
- ISBN-10
- 0444898220
- EAN
- 9780444898227
- Éditeur
- Elsevier (Amsterdam)
- Date de publication
- 1 janvier 1994
- Langue
- eng
- Pages
- 1024
- Dimensions
- 23 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language BnF Catalogue général · 23 juillet 2026
- page_count BnF Catalogue général · 23 juillet 2026
- publication_date BnF Catalogue général · 23 juillet 2026