IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

Huet, Gerard. Ed. Plotkin, G. Ed.

Logical Frameworks Workshop, Sophia Antipolis,France, 1990 - Cambridge Cambridge university press 1991 - 403

ISBN: 0 521 41300 1

Subjects--Topical Terms:
Logic
Frameworks

Universal Decimal Class. No.: 681.3.07 HUET

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)