Home Advanced Search

Advanced Search - Page 1

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
  • DJVU
  • English
  • Year: 1993
  • Author: M. J. C. Gordon, T. F. Melham
Higher Order Logic and Hardware Verification
  • PDF
  • English
  • Year: 2009
  • Author: T. F. Melham
Introduction to HOL: A theorem-proving environment for higher order logic
  • DJVU
  • English
  • Year: 1993
  • Author: Gordon M.J. C., Melham T.F. (eds.)
Ancient Southwestern Mortuary Practices
  • EPUB
  • English
  • Year: 2020
  • Author: James T. Watson, Gordon F. M. Rakita
Real-Time Programming 1985
  • PDF
  • English
  • Year: 1986
  • Author: Gordon M. Bull, T. J. Williams
Biological nitrogen fixation in forest ecosystems: foundations and applications
  • PDF
  • English
  • Year: 1983
  • Author: John C. Gordon (auth.), J. C. Gordon, C. T. Wheeler (eds.)
Polymer Networks: Structure and Mechanical Properties
  • PDF
  • English
  • Year: 1971
  • Author: M. Gordon, T. C. Ward, R. S. Whitney (auth.), A. J. Chompff, S. Newman (eds.)
Groups '93 Galway and St Andrews.
  • DJVU
  • English
  • Year: 1995
  • Author: C. M. Campbell, E. F. Robertson, T. C. Hurley, S. J. Tobin, J. J. Ward
Groups ’93 Galway/St Andrews: Volume 2
  • PDF
  • English
  • Year: 1995
  • Author: C. M. Campbell, E. F. Robertson, T. C. Hurley, S. J. Tobin, J. J. Ward
Groups '93 Galway and St Andrews.
  • DJVU
  • English
  • Year: 1995
  • Author: C. M. Campbell, E. F. Robertson, T. C. Hurley, S. J. Tobin, J. Ward
search