Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings

edited by G. Kahn, D.B. MacQueen, G. Plotkin

1st ed. 1984. - Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer, 1984

Online Book, Datenträger, Online-Ressource - 1 Online-Ressource (VIII, 396 p)

Access:

DOI-Link (Volltext)

Title:	Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
Statement of Responsibility:	edited by G. Kahn, D.B. MacQueen, G. Plotkin
Author / Contributor:	Kahn, G. [Herausgeber/in] ; MacQueen, D.B. [Herausgeber/in] ; Plotkin, G. [Herausgeber/in]
Link:	DOI-Link (Volltext)
Related work:	Printed edition Printed edition
Edition:	1st ed. 1984
Publication:	Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer, 1984
Media Type:	Book
Carrier Type:	Datenträger, Online-Ressource
Pagination:	1 Online-Ressource (VIII, 396 p)
ISBN:	9783540388913; 3540388915
DOI:	10.1007/3-540-13346-1
Subject heading (not standardized):	Mathematical logic Programming languages (Electronic computers)
Additional details:	Online-Ressource [Kann nicht per Fernleihe bestellt werden!] RVK (Regensburger Verbundklassifikation): SS 1800 RVK (Regensburger Verbundklassifikation): SS 4000 RVK (Regensburger Verbundklassifikation): ST 140 RVK (Regensburger Verbundklassifikation): SS 4800 Sprache: Englisch hbz Verbund-ID: HT021188826 Quelldatensatz (MARCXML)

Please select a fomat and save the data, next, you provide an e-mail address and have the data delivered there.

BibTeX Citavi, JabRef, et al.
(Reference Management)

PDF No full text!
(Notepad, Notes)

RIS Endnote, Citavi, e.a.
(Reference Management)

MODS
(XML for further processing)

Select the appropriate citation format, copy it to the clipboard, and have it sent by e-mail or save it as a PDF file.

Citation style selected:

Please check that the citation is formally correct prior to using it in a paper. You might like to use the "Export" dialogue for formatting citations yourself for a reference management program.