Last edited by Tujar
Monday, July 27, 2020 | History

4 edition of A hierarchical technique for mechanical theorem proving and its application to programming language design. found in the catalog.

A hierarchical technique for mechanical theorem proving and its application to programming language design.

by Norman Rubin

  • 140 Want to read
  • 1 Currently reading

Published by Courant Institute of Mathematical Sciences, New York University in New York .
Written in English


The Physical Object
Pagination172 p. ;
Number of Pages172
ID Numbers
Open LibraryOL20424268M


Share this book
You might also like
book of deeds

book of deeds

If it makes you healthy

If it makes you healthy

Bloomsway

Bloomsway

IDMS/R

IDMS/R

report on beneficiation tests of Feremu vermiculite

report on beneficiation tests of Feremu vermiculite

Inquiry into residential and secure accommodation for children in Northern Ireland

Inquiry into residential and secure accommodation for children in Northern Ireland

A discourse on the late royal proclamation for the suppression of vice and immorality

A discourse on the late royal proclamation for the suppression of vice and immorality

How to be your own lawyer in court.

How to be your own lawyer in court.

Name Games

Name Games

Motor truck repair manual.

Motor truck repair manual.

By Grand Central Station I sat down and wept

By Grand Central Station I sat down and wept

Utahs lakes and reservoirs

Utahs lakes and reservoirs

Eagle & Cock (The Hidden Language Series)

Eagle & Cock (The Hidden Language Series)

Ford Anglia 105E owners workshop manual

Ford Anglia 105E owners workshop manual

Iowa RC&Ds--making things happen

Iowa RC&Ds--making things happen

A hierarchical technique for mechanical theorem proving and its application to programming language design by Norman Rubin Download PDF EPUB FB2