Enlarge

Selected papers on Automath

Publication Data

Title Selected papers on Automath
Contributors R. P. Nederpelt, J. H. Geuvers, R. C. de Vrijer
Publisher Elsevier
Publication date 1994
Publication location Amsterdam
Language English

Topics

AUTOMATH (Formal language)

Catalogue Data

OBNB ID GB9495570
ISBN 10 0444898220
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xix,1024p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Selected papers on Automath. ISBN 0444898220. Published by Elsevier in 1994. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.