COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings

Saved in:
Bibliographic Details
Other Authors: Mints, G., Martin-Lof, Per 1942-
Format: Book
Published: Berlin Springer-Verlag 1990
Series:Lecture notes in computer science 417
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:vi, 338 p. 25 cm
Bibliography:Includes bibliographical references.
ISBN:3540523359