Logical frameworks - Info and Reading Options
By G. Plotkin
"Logical frameworks" was published by Cambridge University Press in 1991 - Cambridge, it has 403 pages and the language of the book is English.
“Logical frameworks” Metadata:
- Title: Logical frameworks
- Author: G. Plotkin
- Language: English
- Number of Pages: 403
- Publisher: Cambridge University Press
- Publish Date: 1991
- Publish Location: Cambridge
“Logical frameworks” Subjects and Themes:
- Subjects: Logic - Frames (Information theory) - Automatic theorem proving - Symbolic and mathematical Logic - Logic programming
Edition Specifications:
- Pagination: xii, 403 p. ;
Edition Identifiers:
- The Open Library ID: OL1322095M - OL16972407W
- Online Computer Library Center (OCLC) ID: 27810927
- Library of Congress Control Number (LCCN): 92198266
- ISBN-10: 0521413001
- All ISBNs: 0521413001
AI-generated Review of “Logical frameworks”:
Read “Logical frameworks”:
Read “Logical frameworks” by choosing from the options below.
Search for “Logical frameworks” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Logical frameworks” in Libraries Near You:
Read or borrow “Logical frameworks” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Logical frameworks” at a library near you.
Buy “Logical frameworks” online:
Shop for “Logical frameworks” on popular online marketplaces.
- Ebay: New and used books.