Automath a Laguage for Mathematics Nicolaas G. de Bruijn
Series: Seminaire de Mathematiques Superiores - ete 1971Publication details: Montreal Les Presses de L'Universite de Montreal 1971Description: 62 p ill 27 cmItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | II 15611 (Browse shelf(Opens below)) | Available | 0019584 |
Contine bibliografie
There are no comments on this title.
Log in to your account to post a comment.