Home Advanced Search

Advanced Search - Page 1

Automated Theorem Proving. A Logical Basis
  • PDF
  • English
  • Year: 1978
  • Author: D. W. Loveland (Auth.)
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
  • DJVU
  • English
  • Year: 1982
  • Author: L. Wos (auth.), D. W. Loveland (eds.)
An Introduction to Nuclear Fission
  • PDF
  • English
  • Year: 2021
  • Author: Walid Younes, Walter D. Loveland
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.)
Automated Theorem Proving: After 25 Years
  • DJVU
  • English
  • Year: 1984
  • Author: W. W. Bledsoe, Donald W. Loveland (ed.)
Three Views of Logic: Mathematics, Philosophy, and Computer Science
  • PDF
  • English
  • Year: 2014
  • Author: Donald W. Loveland; Richard Hodel; S. G. Sterrett
Three Views of Logic: Mathematics, Philosophy, and Computer Science
  • PDF
  • English
  • Year: 2014
  • Author: Donald W. Loveland, Richard E. Hodel, S. G. Sterrett
Three Views of Logic: Mathematics, Philosophy, and Computer Science
  • PDF
  • English
  • Year: 2014
  • Author: Donald W. Loveland, Richard E. Hodel, S. G. Sterrett
Modern Nuclear Chemistry
  • DJVU
  • English
  • Year: 2001
  • Author: Walter D. Loveland, David J. Morrissey, Glenn T. Seaborg
Modern Nuclear Chemistry
  • DJVU
  • English
  • Year: 2001
  • Author: Walter D. Loveland, David J. Morrissey, Glenn T. Seaborg
search