Automated reasoning : essays in honor of Woody Bledsoe

✍ Scribed by W W Bledsoe; Robert S Boyer (ed.)

• Publisher: Kluwer Academic Publishers
• Year: 1991
• Tongue: English
• Leaves: 379
• Series: Automated reasoning series, v. 1
• Category: Library

✦ Synopsis

Some people think that knowing about what goes on inside the human body can sap life of its mystery. Which is too bad for them, because anybody who’s ever taken a peak under the hood knows that the human body, and all its various structures and functions, is a realm of awe-inspiring complexity and countless wonders. The dizzying dance of molecule, cell, tissue, organ, muscle, sinew, and bone that we call life can be a thing of breathtaking beauty and humbling perfection. No one should be denied access to this spectacle because they don’t come from a scientific background. And now, thanks to Anatomy and Physiology For Dummies, no one needs to be.Whether you’re an aspiring health-care or fitness professional or just somebody who’s curious about the human body and how it works, this book offers you a fun, easy way get a handle on the basics of anatomy and physiology.  In no time you’ll:Understand the meanings of terms in anatomy and physiologyGet to know the body’s anatomical structures—from head to toeExplore the body’s systems and how they interact to keep us aliveGain insights into how the structures and systems function in sickness and healthUnderstand the human reproductive system and how it creates new lifeWritten in plain English and illustrated with dozens of beautiful illustrations, Anatomy and Physiology For Dummies covers everything from atoms to cells to organs, including:Anatomic position and the divisions of the bodyIncreasingly magnified aspects of the body, from atoms to organs to systemsThe anatomy and pathophysiology of the skeleton, muscles and skinThe anatomy, physiology, pathophysiology of the nervous, endocrine and circulatory systemsThe anatomy, physiology, and pathophysiology of the respiratory, digestive, urinary and immune systemsThe anatomy, physiology, and pathophysiology of the reproductive systemKeeping the body healthy through good nutritionDon’t miss this opportunity to learn about your body from the inside out. Let Anatomy and Physiology For Dummies be your guide on a fantastic voyage through a world of countless wonders A biographical sketch of W.W. Bledsoe / Anne Olivia Boyer and Robert S. Boyer -- METEORs : high performance theorem provers using model elimination / O.L. Astrachan and D.W. Loveland -- The metatheorist : automatic proofs of theorems in analysis using non-standard techniques, Part II / A.M. Ballantyne -- Perspectives on automated deduction / W. Bibel -- MJRTY : a fast majority vote algorithm / Robert S. Boyer and J. Strother Moore -- How the brain adjusts synapses, maybe / Hans J. Bremerman and Russell W. Anderson -- The use of proof plans for normalization / Alan Bundy -- What are the limitations of the situation calculus? / M. Gelfond, V. Lifschitz, and A. Rabinov -- Reasoning in paraconsistent logics / J. Lu ... [et al.] -- Compiling recursive functional Prolog programs with list structure into procedural languages / Young K. Nam and Lawrence J. Henschen -- Aligning multiple RNA sequences / Ross Overbeek and Ian Foster -- Similarity, uncertainty and case-based reasoning in Patdex / Michael M. Richter and Stefan Wess -- Formal and informal proofs / J.A. Robinson -- PTTP and linked inference / Mark E. Stickel -- Automated reasoning and Bledsoe's dream for the field / Larry Wos