Selected papers on Automath (Englisch)
Nationallizenz
- Neue Suche nach: ScienceDirect (Online service)
- Neue Suche nach: Nederpelt, Rob P.
- Neue Suche nach: ScienceDirect (Online service)
1994
-
ISBN:
- Buch / Elektronische Ressource
-
Titel:Selected papers on Automath
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Elsevier
-
Erscheinungsort:Amsterdam , New York
-
Erscheinungsdatum:1994
-
Format / Umfang:Online-Ressource , xix, 1024 p
-
Anmerkungen:24 cm
ill
Campusweiter Zugriff (Universität Hannover) - Vervielfältigungen (z. B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
Includes bibliographical references and indexes -
ISBN:
-
Medientyp:Buch
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 511.3
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: *03B35 / 03B40 / 00B60
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 31.00 / 54.10
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle: