4 edition of A hierarchical technique for mechanical theorem proving and its application to programming language design. found in the catalog.
Published
1976 by Courant Institute of Mathematical Sciences, New York University in New York .
Written in English
| The Physical Object | |
|---|---|
| Pagination | 172 p. ; |
| Number of Pages | 172 |
| ID Numbers | |
| Open Library | OL20424268M |
Vibration and work
In-Laws
The proletarian revolution and renegade Kautsky
Field tests for the common metals.
Correspondence of Henry Oldenburg 1668-1669
Directory of Ontario Schools
The Horseshoe route.
econometric model of crime in California
Attitude scaling.
Alphabet series
The monumental brasses of Bedfordshire
T. Macci Plauti Truculentus
Semi-active control algorithms for structures with variable dampers
Challenge 2000
