Home Advanced Search

Advanced Search - Page 1

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
Introduction to Abstract Algebra
  • PDF
  • English
  • Year: 1975
  • Author: J. Strother Moore (Auth.)
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.)
Third-World Diplomats in Dialogue with the First World: The New Diplomacy
  • PDF
  • English
  • Year: 1985
  • Author: Robert J. Moore (auth.)
Computer Chess
  • PDF
  • English
  • Year: 1975
  • Author: Monroe Newborn and Thomas A. Standish (Auth.)
Data Structures, Algorithms, and Software Principles in C
  • PDF
  • English
  • Year: 1995
  • Author: Thomas A. Standish
Data Structures, Algorithms, and Software Principles in C
  • DJVU
  • English
  • Year: 1994
  • Author: Thomas A. Standish
Data Structures in Java
  • PDF
  • English
  • Year: 1998
  • Author: Thomas A. Standish
search