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.)
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.)
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
  • DJVU
  • 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.)
Agent Systems, Mobile Agents, and Applications: Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zurich, Switzerland, September 13-15, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Colin G. Harrison (auth.), David Kotz, Friedemann Mattern (eds.)
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.)
search