Book Search Results
[lambda] Calculus And Computer Science Theory by Symposium On [lambda] Calculus And Computer Science Theory (1975 Rome)
Find "[lambda] Calculus And Computer Science Theory" by Symposium On [lambda] Calculus And Computer Science Theory (1975 Rome) through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1[Lambda] - calculus and computer science theory
By Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
“[Lambda] - calculus and computer science theory” Metadata:
- Title: ➤ [Lambda] - calculus and computer science theory
- Author: ➤ Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
- Languages: fre - English
- Number of Pages: Median: 370
- Publisher: Springer-Verlag
- Publish Date: 1975
- Publish Location: Berlin - New York
“[Lambda] - calculus and computer science theory” Subjects and Themes:
- Subjects: ➤ Combinatory logic - Congresses - Programming languages (Electronic computers) - Langages de programmation - Congrès - Logique combinatoire - Datenverarbeitung - Kombinatorische Logik - Lambda-Kalkül - Logik - Metamathematik - Programmiersprache - Kongress - Lambda-calculus
Edition Identifiers:
- The Open Library ID: OL22179320M - OL15274156M
- Online Computer Library Center (OCLC) ID: 1849004
- Library of Congress Control Number (LCCN): 75033375
- All ISBNs: 9780387074160 - 0387074163 - 9783540074168 - 3540074163
Access and General Info:
- First Year Published: 1975
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find [Lambda] - calculus and computer science theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975
By Symposium on [symbol for lambda]-Calculus and Computer Science Theory (1975 Rome, Italy)
“Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975” Metadata:
- Title: ➤ Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975
- Author: ➤ Symposium on [symbol for lambda]-Calculus and Computer Science Theory (1975 Rome, Italy)
- Language: English
- Number of Pages: Median: 315
- Publisher: Tipo-lithografia MARVES
- Publish Date: 1975
- Publish Location: Roma
“Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975” Subjects and Themes:
- Subjects: Computable functions - Congresses - Lambda calculus - Machine theory - Recursive functions
Edition Identifiers:
- The Open Library ID: OL2894549M
- Library of Congress Control Number (LCCN): 84121280
Access and General Info:
- First Year Published: 1975
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “[lambda] Calculus And Computer Science Theory” online:
Shop for “[lambda] Calculus And Computer Science Theory” on popular online marketplaces.
- Ebay: New and used books.