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
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.)
NMR in Supramolecular Chemistry
  • PDF
  • English
  • Year: 1999
  • Author: S. J. Cantrill, M. C. T. Fyfe, F. M. Raymo (auth.), M. Pons (eds.)
Polar Cap Boundary Phenomena
  • PDF
  • English
  • Year: 1998
  • Author: C. J. Farrugia, F. T. Gratton, L. Bender, J. M. Quinn (auth.), J. Moen, A. Egeland, M. Lockwood (eds.)
Titanium and Titanium Alloys: Scientific and Technological Aspects Volume 3
  • PDF
  • English
  • Year: 1982
  • Author: T. L. Trenogina, R. M. Lerinman (auth.), J. C. Williams, A. F. Belov (eds.)
Liquid Crystals and Ordered Fluids: Volume 4
  • PDF
  • English
  • Year: 1984
  • Author: J. W. Goodby, T. M. Leslie (auth.), Anselm C. Griffin, Julian F. Johnson (eds.)
Endocrinology: Adult and Pediatric
  • PDF
  • English
  • Year: 2015
  • Author: J. Larry Jameson, Ashley B. Grossman, Leslie J. De Groot, Shlomo Melmed, David M. de Kretser, John T. Potts, Linda C. Giudice, Gordon C. Weir
search