Edinburgh LCF - Info and Reading Options
a mechanised logic of computation
By Michael J. C. Gordon
"Edinburgh LCF" was published by Springer-Verlag in 1979 - Berlin, it has 159 pages and the language of the book is English.
“Edinburgh LCF” Metadata:
- Title: Edinburgh LCF
- Author: Michael J. C. Gordon
- Language: English
- Number of Pages: 159
- Publisher: Springer-Verlag
- Publish Date: 1979
- Publish Location: Berlin
“Edinburgh LCF” Subjects and Themes:
- Subjects: ➤ Computable functions - Data processing - Edinburgh LCF (Computer system) - United States - United States. Continental Congress - Electronic digital computers, programming - Hamiltonian systems - Many-body problem - Mathematical analysis - Mathematical & computational - Mathematics & statistics -> mathematics -> mathematics general - Physical & earth sciences -> physics -> mathematical physics - Scp19005 - Scm1204x - Suco11649 - Scm12007
Edition Specifications:
- Pagination: viii, 159 p. ;
Edition Identifiers:
- The Open Library ID: OL4420437M - OL4621670W
- Online Computer Library Center (OCLC) ID: 5726414
- Library of Congress Control Number (LCCN): 79024745 - 2008940669
- ISBN-13: 9780387097244
- ISBN-10: 0387097244
- All ISBNs: 0387097244 - 9780387097244
AI-generated Review of “Edinburgh LCF”:
Read “Edinburgh LCF”:
Read “Edinburgh LCF” by choosing from the options below.
Search for “Edinburgh LCF” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Edinburgh LCF” in Libraries Near You:
Read or borrow “Edinburgh LCF” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Edinburgh LCF” at a library near you.
Buy “Edinburgh LCF” online:
Shop for “Edinburgh LCF” on popular online marketplaces.
- Ebay: New and used books.