Home Advanced Search

Advanced Search - Page 1

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.)
A Computational Logic Handbook
  • PDF
  • English
  • Year: 1988
  • Author: Robert S. Boyer, J Strother Moore
A Computational Logic
  • PDF
  • English
  • Year: 1979
  • Author: Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
Introduction to Abstract Algebra
  • PDF
  • English
  • Year: 1975
  • Author: J. Strother Moore (Auth.)
Computer-aided reasoning: ACL2 case studies
  • DJVU
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (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.)
A computational logic
  • DJVU
  • English
  • Year: 1979
  • Author: Robert S. Boyer, J.Strother Moore
Computer-Aided Reasoning: An Approach
  • DJVU
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
Molecular Diagnostics: For the Clinical Laboratorian
  • PDF
  • English
  • Year: 1997
  • Author: Robert E. Moore (auth.), William B. Coleman, Gregory J. Tsongalis (eds.)
search