Adapting Proofs As Programs The Curry Howard Protocol

Name: Adapting Proofs As Programs The Curry Howard Protocol
SKU: 9780387237596
Availability: InStock

Original price was: ₹6,936.51.Current price is: ₹1,737.00.

+ Free Shipping

Author : Poernomo
Publisher : Springer
Publish Year : 2005
Subject : Computer Science

Availability: 1 in stock

SKU: 9780387237596 Category: Computer Science Tags: 2005, Poernomo, Springer

Weight	750 kg

Reviews

There are no reviews yet.

Be the first to review “Adapting Proofs As Programs The Curry Howard Protocol”

Microeconomics Theory And Applications
Rated 5.00 out of 5
Original price was: ₹450.00.Current price is: ₹360.00.
Chemistry Principles And Reactions
Rated 0 out of 5
Original price was: ₹15,776.24.Current price is: ₹12,621.00.
The World Of Mathematics Vol 2
Rated 0 out of 5
Original price was: ₹1,701.74.Current price is: ₹1,361.00.
Management Of Convergence Networks And Services
Rated 0 out of 5
Original price was: ₹3,411.72.Current price is: ₹2,729.00.
Classical Control Systems Design And Implementation
Rated 0 out of 5
Original price was: ₹540.00.Current price is: ₹432.00.