کتاب های J. Strother Moore
کتاب های نویسنده
صفحه ۱ از ۱ در بین ۱۵ کتاب.
PDF
Computer-Aided Reasoning: ACL2 Case Studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000DJVU
Computer-aided reasoning: ACL2 case studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000DJVU
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990DJVU
A Computational Logic Handbook
Robert S. Boyer, J. Strother Moore, 1988PDF
A Computational Logic Handbook
Robert S. Boyer, J Strother Moore, 1988DJVU
A computational logic
Robert S. Boyer, J.Strother Moore, 1979DJVU
A computational logic
Robert S. Boyer, J.Strother Moore, 1979PDF
A Computational Logic (ACM monograph series)
Robert S. Boyer, J. Strother Moore, 1979PDF
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990PDF
A Computational Logic
Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.), 1979PDF
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000DJVU
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000PDF
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.), 2010PDF
Introduction to Abstract Algebra
J. Strother Moore (Auth.), 1975PDF
