کتاب های Strother
![Computer-Aided Reasoning: ACL2 Case Studies](http://cdn.ketabkoo.com/covers/0/62287-n.jpg)
Computer-Aided Reasoning: ACL2 Case Studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000![Computer-aided reasoning: ACL2 case studies](http://cdn.ketabkoo.com/covers/0/62288-n.jpg)
Computer-aided reasoning: ACL2 case studies
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.), 2000![10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings](http://cdn.ketabkoo.com/covers/0/1165-n.jpg)
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990![A Computational Logic Handbook](http://cdn.ketabkoo.com/covers/0/18357-n.jpg)
A Computational Logic Handbook
Robert S. Boyer, J. Strother Moore, 1988![A Computational Logic Handbook](http://cdn.ketabkoo.com/covers/0/18358-n.jpg)
A Computational Logic Handbook
Robert S. Boyer, J Strother Moore, 1988![A computational logic](http://cdn.ketabkoo.com/covers/0/49881-n.jpg)
A computational logic
Robert S. Boyer, J.Strother Moore, 1979![A computational logic](http://cdn.ketabkoo.com/covers/0/49882-n.jpg)
A computational logic
Robert S. Boyer, J.Strother Moore, 1979![A Computational Logic (ACM monograph series)](http://cdn.ketabkoo.com/covers/0/49884-n.jpg)
A Computational Logic (ACM monograph series)
Robert S. Boyer, J. Strother Moore, 1979![10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings](http://cdn.ketabkoo.com/covers/0/62285-n.jpg)
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Robert S. Boyer, J Strother Moore (auth.), Mark E. Stickel (eds.), 1990![A Computational Logic](http://cdn.ketabkoo.com/covers/0/62286-n.jpg)
A Computational Logic
Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.), 1979![Computer-Aided Reasoning: An Approach](http://cdn.ketabkoo.com/covers/0/62289-n.jpg)
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000![Computer-Aided Reasoning: An Approach](http://cdn.ketabkoo.com/covers/0/62290-n.jpg)
Computer-Aided Reasoning: An Approach
Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), 2000![Design and Verification of Microprocessor Systems for High-Assurance Applications](http://cdn.ketabkoo.com/covers/0/62291-n.jpg)
Design and Verification of Microprocessor Systems for High-Assurance Applications
Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.), 2010![Introduction to Abstract Algebra](http://cdn.ketabkoo.com/covers/0/62292-n.jpg)
Introduction to Abstract Algebra
J. Strother Moore (Auth.), 1975![Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)](http://cdn.ketabkoo.com/covers/0/62293-n.jpg)
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
J Strother Moore, 1996![Vladimir Markov and Russian Primitivism: A Charter for the Avant-Garde](http://cdn.ketabkoo.com/covers/3/311051-n.jpg)
Vladimir Markov and Russian Primitivism: A Charter for the Avant-Garde
Z. S. Strother, 2015![Black & Decker The Complete Guide to Dream Bathrooms](http://cdn.ketabkoo.com/covers/4/450268-n.jpg)
Black & Decker The Complete Guide to Dream Bathrooms
Ruth Strother (Editor), 2008![The reminiscences of George Strother Gaines: pioneer and statesman of early Alabama and Mississippi, 1805-1843](http://cdn.ketabkoo.com/covers/7/726639-n.jpg)
The reminiscences of George Strother Gaines: pioneer and statesman of early Alabama and Mississippi, 1805-1843
George Strother Gaines, 1998![The Dog Friendly Home DIY Projects for Dog Lovers](http://cdn.ketabkoo.com/covers/8/810292-n.jpg)
The Dog Friendly Home DIY Projects for Dog Lovers
Ruth Strother, 2011![The Dog Friendly Home: DIY Projects for Dog Lovers](http://cdn.ketabkoo.com/covers/8/810293-n.jpg)
The Dog Friendly Home: DIY Projects for Dog Lovers
Ruth Strother, 2011![The Dog Friendly Home: DIY Projects for Dog Lovers](http://cdn.ketabkoo.com/covers/8/810294-n.jpg)
The Dog Friendly Home: DIY Projects for Dog Lovers
Ruth Strother, 2011![Traditional Box Projects](http://cdn.ketabkoo.com/covers/8/845347-n.jpg)
Traditional Box Projects
Strother Purdy, 2010![Traditional Box Projects](http://cdn.ketabkoo.com/covers/8/845348-n.jpg)
Traditional Box Projects
Strother Purdy, 2010![Bill Gates](http://cdn.ketabkoo.com/covers/8/872536-n.jpg)