Home Advanced Search

Advanced Search - Page 1

6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
  • DJVU
  • English
  • Year: 1982
  • Author: L. Wos (auth.), D. W. Loveland (eds.)
Automated Theorem Proving. A Logical Basis
  • PDF
  • English
  • Year: 1978
  • Author: D. W. Loveland (Auth.)
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
  • PDF
  • English
  • Year: 1983
  • Author: L. Wos, L. Henschen (auth.), Jörg H. Siekmann, Graham Wrightson (eds.)
The collected works of Larry Wos: Exploring the power of automated reasoning
  • DJVU
  • English
  • Year: 2000
  • Author: Wos L., Pieper G.W. (eds.)
Soil Responses to Climate Change
  • PDF
  • English
  • Year: 1994
  • Author: P. B. Tinker, J. S. I. Ingram (auth.), Mark D. A. Rounsevell, Peter J. Loveland (eds.)
Immunological Engineering
  • PDF
  • English
  • Year: 1978
  • Author: R. L. Powles (auth.), D. W. Jirsch (eds.)
Abrupt Climatic Change: Evidence and Implications
  • PDF
  • English
  • Year: 1987
  • Author: W. H. Berger, L. D. Labeyrie (auth.), W. H. Berger, L. D. Labeyrie (eds.)
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
  • PDF
  • English
  • Year: 2013
  • Author: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
  • PDF
  • English
  • Year: 2013
  • Author: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)
Blood Cells as a Tissue: Proceedings of a Conference held at The Lankenau Hospital October 30–31, 1969
  • PDF
  • English
  • Year: 1970
  • Author: Clifford W. Gurney M. D. (auth.), William L. Holmes (eds.)
search