Home Advanced Search

Advanced Search - Page 1

Computer-Aided Reasoning: An Approach
  • DJVU
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, 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.)
Introduction to Abstract Algebra
  • PDF
  • English
  • Year: 1975
  • Author: J. Strother Moore (Auth.)
A Computational Logic
  • PDF
  • English
  • Year: 1979
  • Author: Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
A Computational Logic Handbook
  • PDF
  • English
  • Year: 1988
  • Author: Robert S. Boyer, J Strother Moore
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)
Serial Griller
  • EPUB
  • English
  • Year: 2020
  • Author: Matt Moore
The South's Best Butts: Pitmaster Secrets for Southern Barbecue Perfection
  • EPUB
  • English
  • Year: 2017
  • Author: Matt Moore
Nourish: A God Who Loves to Feed Us
  • EPUB
  • English
  • Year: 2015
  • Author: Matt Moore
Butcher on the Block
  • EPUB
  • English
  • Year: 2023
  • Author: Matt Moore
search