دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated reasoning : essays in honor of Woody Bledsoe
دانلود کتاب استدلال خودکار: مقالات به افتخار وودی بلدسو
مشخصات کتاب
Automated reasoning : essays in honor of Woody Bledsoe
ویرایش: نویسندگان: W W Bledsoe, Robert S Boyer (ed.) سری: Automated reasoning series, v. 1 ISBN (شابک) : 0792314093, 9780792314097 ناشر: Kluwer Academic Publishers سال نشر: 1991 تعداد صفحات: 379 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 61,000
در صورت تبدیل فایل کتاب Automated reasoning : essays in honor of Woody Bledsoe به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال خودکار: مقالات به افتخار وودی بلدسو نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استدلال خودکار: مقالات به افتخار وودی بلدسو
برخی از مردم فکر می کنند که دانستن آنچه در درون بدن انسان می گذرد می تواند زندگی راز آن را از بین ببرد. این برای آنها بسیار بد است، زیرا هر کسی که تا به حال به اوج رسیده است می داند که بدن انسان، و تمام ساختارها و عملکردهای مختلف آن، قلمرویی از پیچیدگی های الهام بخش و شگفتی های بی شمار است. رقص سرگیجهآور مولکولها، سلولها، بافتها، اندامها، ماهیچهها، رگها و استخوانها که ما آن را زندگی مینامیم، میتواند زیبایی خیرهکننده و کمال فروتنی باشد. هیچ کس نباید از دسترسی به این منظره محروم شود زیرا آنها از یک پیشینه علمی نمی آیند. و اکنون، به لطف آناتومی و فیزیولوژی برای آدمکها، هیچکس نیازی ندارد. راه آسان برای دستیابی به اصول آناتومی و فیزیولوژی. در کمترین زمان ممکن: معانی اصطلاحات را در آناتومی و فیزیولوژی درک کنید. ساختارهای آناتومیکی بدن را بشناسید - از سر تا پا سیستم های بدن و نحوه تعامل آنها برای زنده نگه داشتن ما را کاوش کنید. اطلاعاتی درباره نحوه عملکرد ساختارها و سیستم ها در بیماری و سلامتی به دست آورید. سیستم تولید مثل انسان و نحوه ایجاد زندگی جدید به زبان انگلیسی ساده نوشته شده و با ده ها تصویر زیبا نشان داده شده است، آناتومی و فیزیولوژی برای Dummies همه چیز را از اتم ها گرفته تا سلول ها و اندام ها را پوشش می دهد، از جمله: موقعیت آناتومیک و تقسیمات بدن جنبه های بزرگنمایی فزاینده بدن آناتومی و پاتوفیزیولوژی اسکلت، ماهیچهها و پوست آناتومی، فیزیولوژی، پاتوفیزیولوژی سیستمهای عصبی، غدد درون ریز و گردش خون آناتومی، فیزیولوژی و پاتوفیزیولوژی سیستمهای تنفسی، گوارشی، ادراری و ایمنی و پاتوفیزیولوژی سیستم تولید مثل حفظ سلامت بدن از طریق تغذیه خوب این فرصت را از دست ندهید تا با بدن خود از درون به بیرون آشنا شوید. اجازه دهید Anatomy and Physiology For Dummies راهنمای شما در یک سفر فوق العاده در دنیایی از شگفتی های بی شمار باشد. طرحی بیوگرافی از W.W. Bledsoe / Anne Olivia Boyer و Robert S. Boyer -- شهابها: اثباتکنندههای قضیه با کارایی بالا با استفاده از حذف مدل / O.L. Astrachan و D.W. لاولند -- متاتئوریست: اثبات خودکار قضایا در تحلیل با استفاده از تکنیکهای غیر استاندارد، بخش دوم / A.M. Ballantyne -- دیدگاههایی در مورد کسر خودکار / W. Bibel -- MJRTY: الگوریتم رای اکثریت سریع / Robert S. Boyer و J. Strother Moore -- چگونه مغز سیناپسها را تنظیم میکند / Hans J. Bremerman و Russell W. Anderson - - استفاده از طرح های اثبات برای عادی سازی / آلن باندی -- محدودیت های حساب موقعیت چیست؟ / M. Gelfond, V. Lifschitz, and A. Rabinov -- Reasoning in paraconsistent logics / J. Lu ... [و همکاران] -- کامپایل برنامه های Prolog تابعی بازگشتی با ساختار فهرست به زبان های رویه ای / Young K. Nam و لارنس جی. هنشن -- تراز کردن چندین توالی RNA / راس اوربیک و ایان فاستر -- شباهت، عدم قطعیت و استدلال مبتنی بر مورد در Patdex / مایکل ام. ریشتر و استفان وس -- اثبات رسمی و غیررسمی / J.A. رابینسون -- PTTP و استنتاج مرتبط / مارک ای استیکل -- استدلال خودکار و رویای بلدسو برای میدان / لری ووس
توضیحاتی درمورد کتاب به خارجی
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
