Filter Results

Select search scope: search across all journals or within the current journal

Search this journal

Enter search terms…

Advanced search

Browse

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

All content on this site: Copyright © 2026 Sage Publications. All rights reserved. This website is technically supported and operated by China National Publications Import and Export (Group) Co., Ltd. 京ICP备09090397号-11

Book Reviews : Automated Reasoning: Introduction and Applications,Larry Wos,Ross Overbeek,Ewing Lusk and Jim Boyle,Englewood Cliff NJ: Prentice-Hall,1984. 482 pages