KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Logical frameworks : [papers presented at the first annual Workshop "Logical Frameworks: Design, Implementation and Experiment" at Sophia-Antipolis, France from the 7th to the 11th of May, 1990] (1991)

Huet, Gérard 1947- ; International Workshop on Logical Frameworks 1 1990 Sophia Antipolis

Cambridge [u.a.] :Cambridge Univ. Press,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_BV005849896

Umfang: XII, 403 S.

Ausgabe: 1. publ.

ISBN: 0-521-41300-1

Anmerkung: Literaturangaben

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 1990

Schlagwort(e): Computational logic ; Aufsatzsammlung ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift ; Aufsatzsammlung

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003663433&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

URL: Inhaltstext

Mehr zum Autor: Huet, Gérard 1947-

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Stabi Berlin

HU Berlin

FU Berlin

BTU Cottbus

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg