A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design(English, Hardcover, Rubin Norman) | Zipri.in

JavaScript seems to be disabled in your browser.
You must have JavaScript enabled in your browser to utilize the functionality of this website.

Home /
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design(English, Hardcover, Rubin Norman)

A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design(English, Hardcover, Rubin Norman)

A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design(English, Hardcover, Rubin Norman)

Quick Overview

Rs.2036 on FlipkartBuy

Product Price Comparison

Japanese Candlestick Charting Techniques: Second Edition & Study Guide to Technical Analysis of the Financial Markets - A Comprehensive Guide to Trading Methods and Applications Product Paperback

Rs.383

Buy from Snapdeal

UDNAG Ruled Notebook Diary 'Coffee | A mathematician is

Rs.₹399

Buy from Shopclues

hit counter