KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Book

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,

add to watchlist on the watchlist

Details

UID:

almafu_BV005849896

Format: XII, 403 S.

Edition: 1. publ.

ISBN: 0-521-41300-1

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 1990

Keywords: 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

Author information: Huet, Gérard 1947-

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

FU Berlin

BTU Cottbus

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg