|
| Books 1 - 10 of 28 | Previous | Next |
|
 | | Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic (Spi Edition)
by M. J. C. Gordon (Editor), T. F. Melham (Editor)
Hardcover, 492 Pages, Published 1993 by Cambridge University Press, Spi Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design - Theory, Practice ... A: Computer Science & Technology)
by V. Stavridou (Editor), T.F. Melham (Editor), R.T. Boute (Editor)
Paperback, 360 Pages, Published 1992 by North-Holland Publishing Co
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Alaska's Wildlife Treasures
by Tom Melham
Hardcover, Published 1994 by The National Geographic Society
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automating recursive type definitions in higher order logic (Technical report. University of Cambridge. Computer Laboratory)
by Thomas F Melham
Unknown Binding, 64 Pages, Published 1988 by University of Cambridge, Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | JOHN MUIR'S WILD AMERICA.
by Tom. Melham
Hardcover, 199 Pages, Published 1976 by National Geographical Society
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Using Recursive Types to Reason About Hardware in Higher Order Logic
by T.F. Melham
Unknown Binding, Published 1988 by University of Cambridge Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | PROCEEDINGS OF THE EIGHTY-FOURTH ANNUAL SESSION
by MELHAM
Hardcover, Published 1958 by A.A.O.N.M.S
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Automating Recursive Type Definitions in Higher Order Logic
by T.F. Melham
Unknown Binding, Published 1988 by University of Cambridge Computer Laboratory
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | MELHAM, T.F.: Higher Order Logic and Hardware Verification.
by Enid Blyton
Paperback, Published 1999 by Pan
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The Melham Name in History
by Ancestry.com
Paperback, 92 Pages, Published 2007 by Ancestry.com
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 28 | Previous | Next |