Skip to main content
PBS logo
 
 

Search - Logic and Computer Science (Apic Studies in Data Processing)

Logic and Computer Science (Apic Studies in Data Processing)
Logic and Computer Science - Apic Studies in Data Processing
Author: Author Unknown
The application of mathematical logic to computer science continues to be of major importance in the development of more advanced systems. In this book, a combination of survey chapters and applications work is presented--particularly concentrating on lamda-calculus, typed functional programming, and theorem provers
ISBN-13: 9780125242202
ISBN-10: 0125242204
Publication Date: 2/11/1990
Pages: 430
Rating:
  ?
0 stars, based on 0 rating
Publisher: Academic Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.