Logical Frameworks Workshop, Sophia Antipolis,France, 1990

By: Huet, Gerard. Ed | Plotkin, G. EdMaterial type: TextTextPublication details: Cambridge ; Cambridge university press ; 1991Description: 403ISBN: 0 521 41300 1Subject(s): Logic Frameworks
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha