Home Advanced Search

Advanced Search - Page 1

Introduction to HOL: A theorem-proving environment for higher order logic
  • DJVU
  • English
  • Year: 1993
  • Author: Gordon M.J. C., Melham T.F. (eds.)
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
  • DJVU
  • English
  • Year: 1993
  • Author: M. J. C. Gordon, T. F. Melham
Griechische Verslehre
  • DJVU
  • немецкий
  • Year: 1993
  • Author: Sicking C. M.J.
Space Research: Proceedings of the Open Meetings of the Working Groups on Physical Sciences of the Twenty-Second Plenary Meeting of COSPAR Bangalore, India 29 May – 9 June 1979
  • PDF
  • Year: 1980
  • Author: M.J. Rycroft (Eds.)
a practical companion to reservoir stimulation
  • PDF
  • Year: 1992
  • Author: M.J. Economides (Eds.)
Lubrication and Reliability Handbook
  • PDF
  • English
  • Year: 2000
  • Author: M.J. Neale (Eds.)
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Sten Agerholm (auth.), Thomas F. Melham, Juanito Camilleri (eds.)
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.)
Four-Manifold Theory
  • DJVU
  • English
  • Year: 1984
  • Author: Gordon C., Kirby R. (eds.)
Encyclopedia of Biophysics
  • PDF
  • English
  • Year: 2013
  • Author: Gordon C. K. Roberts (eds.)
search