Computations in Higher Types

Gespeichert in:
1. Verfasser:
Moldestad, J.
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer 1977
Ausgabe:
1st ed. 1977
Umfang:
1 Online-Ressource (VIII, 208 p)
text file PDF
ISBN:
9783540374251
ISSN:
0075-8434
DOI:
10.1007/BFb0087822
Schlagworte:
Mathematics
Bezugswerke:
Links: