Last edited by Terisar
Friday, August 20, 2021 | 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.

  • 362 Want to read
  • 14 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
Vibration and work

Vibration and work

In-Laws

In-Laws

The proletarian revolution and renegade Kautsky

The proletarian revolution and renegade Kautsky

Field tests for the common metals.

Field tests for the common metals.

Correspondence of Henry Oldenburg 1668-1669

Correspondence of Henry Oldenburg 1668-1669

Directory of Ontario Schools

Directory of Ontario Schools

The Horseshoe route.

The Horseshoe route.

econometric model of crime in California

econometric model of crime in California

Attitude scaling.

Attitude scaling.

Alphabet series

Alphabet series

The monumental brasses of Bedfordshire

The monumental brasses of Bedfordshire

T. Macci Plauti Truculentus

T. Macci Plauti Truculentus

Semi-active control algorithms for structures with variable dampers

Semi-active control algorithms for structures with variable dampers

Challenge 2000

Challenge 2000

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