Home Advanced Search

Advanced Search - Page 1

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: John Harrison (auth.), David McAllester (eds.)
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
Walther recursion
  • PDF
  • English
  • Author: David McAllester; Kostas Arkoudas
Crime and Punishment in England: An Introductory History
  • PDF
  • English
  • Year: 1996
  • Author: John Briggs, Christopher Harrison, Angus McInnes, David Vincent (auth.)
Brain Asymmetry and Neural Systems: Foundations in Clinical Neuroscience and Neuropsychology
  • PDF
  • English
  • Year: 2015
  • Author: David W. Harrison (auth.)
Advanced Biology Notes
  • PDF
  • English
  • Year: 1971
  • Author: David Harrison Ph.D. (auth.)
Fertility and Sterility: The Proceedings of the XIth World Congress on Fertility and Sterility, Dublin, June 1983, held under the Auspices of the International Federation of Fertility Societies
  • PDF
  • English
  • Year: 1984
  • Author: A. Kessler (auth.), Robert F. Harrison, John Bonnar, William Thompson (eds.)
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Antonia Balaa, Yves Bertot (auth.), Mark Aagaard, John Harrison (eds.)
Paleontology and Geology of Laetoli: Human Evolution in Context: Volume 1: Geology, Geochronology, Paleoecology and Paleoenvironment
  • PDF
  • English
  • Year: 2011
  • Author: Terry Harrison (auth.), Terry Harrison (eds.)
Media Space 20 + Years of Mediated Life
  • PDF
  • English
  • Year: 2009
  • Author: Steve Harrison (auth.), Steve Harrison (eds.)
search