Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]

Mitwirkende(r):

Nederpelt, Rob, 1942- [oth]
ScienceDirect (Online service) [oth]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Studies in logic and the foundations of mathematics ; v. 133Verlag: Amsterdam ; New York : Elsevier, 1994Beschreibung: Online-Ressource xix, 1024 p : ill ; 24 cmISBN:

0444898220
9780444898227

Schlagwörter:

Authomath
AUTOMATH (Formal language)
Mathematical logic

Andere physische Formen: Erscheint auch als: Selected papers on Automath. Druck-Ausgabe. Amsterdam : Elsevier, 1994. XIX, 1024 S.DDC-Klassifikation:

511.3 22

MSC: MSC: *03B35 | 03B40 | 00B60RVK: RVK: ST 130LOC-Klassifikation:

QA267.3

Online-Ressourcen:

Zugang im Netz des KIT
Zugang im Netz der HKA
Zugang im Netz der DHBW

PPN: PPN: 1684905516Package identifier: Produktsigel: ZDB-1-ELC

Exemplare ( 0 )
Titelinformationen ( 1 )

Dieser Titel hat keine Exemplare

Online-Ausg.]. (Elsevier e-book collection on ScienceDirect)

Druck
Zitieren
Meinem Korb hinzufügen (Entfernen)
Datensatz speichern
BIBTEX Dublin Core MARCXML MARC (Nicht-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
Weitere Suchen

Suche nach diesem Titel in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)