دانلود کتاب Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

عنوان فارسی :

دانلود کتاب قضیه اثبات در منطق مرتبه بالاتر: هفدهمین کنفرانس بین المللی ، TPHOLS 2004 ، پارک سیتی ، یوتا ، ایالات متحده ، 14-17 سپتامبر 2004 ، مجموعه مقالات

عنوان انگلیسی :

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

زبان : English

موضوع : Education->International Conferences and Symposiums

نویسندگان : Konrad Slind Annette Bunker Ganesh C. Gopalakrishnan

ناشر : Springer

ISBN (شابک) : 3540230173, 9783540230175, 9783540301424

تعداد صفحات : 349\349

سال نشر : 2004     ویرایش :

حجم : 3 MB       فرمت : djvu

قیمت : 20000 تومان

فهرست :



Table of contents :
Table of Contents......Page 8
Error Analysis of Digital Filters Using Theorem Proving......Page 10
Verifying Uniqueness in a Logical Framework......Page 27
A Program Logic for Resource Verification......Page 43
Proof Reuse with Extended Inductive Types......Page 59
Hierarchical Reflection......Page 75
Correct Embedded Computing Futures......Page 91
Higher Order Rippling in ISAPLANNER......Page 92
A Mechanical Proof of the Cook-Levin Theorem......Page 108
Formalizing the Proof of the Kepler Conjecture......Page 126
Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code......Page 127
Extensible Hierarchical Tactic Construction in a Logical Framework......Page 145
Theorem Reuse by Proof Term Transformation......Page 161
Proving Compatibility Using Refinement......Page 177
Java Program Verification via a JVM Deep Embedding in ACL2......Page 193
Reasoning About CBV Functional Programs in Isabelle/HOL......Page 210
Proof Pearl: From Concrete to Functional Unparsing......Page 226
A Decision Procedure for Geometry in Coq......Page 234
Recursive Function Definition for Types with Binders......Page 250
Abstractions for Fault-Tolerant Distributed System Verification......Page 266
Formalizing Integration Theory with an Application to Probabilistic Algorithms......Page 280
Formalizing Java Dynamic Loading in HOL......Page 296
Certifying Machine Code Safety: Shallow Versus Deep Embedding......Page 314
Term Algebras with Length Function and Bounded Quantifier Alternation......Page 330
Author Index......Page 346





کتاب های پزشکی

دانلود کتاب Advances in Cancer Research, Vol. 84

دانلود کتاب Rationelle Diagnostik und Therapie bei Herzinsuffizienz

دانلود کتاب Clinical MR imaging and physics: A tutorial

دانلود کتاب CT of the Head and Spine

دانلود کتاب Muskeldehnung: Grundlagen, Differenzialdiagnostik, Therapeutische Dehnungen, Eigendehnungen, Sehen - Verstehen - Üben - Anwenden (Physiotherapie Basics)

کتاب های کامپیوتر

دانلود کتاب The Dissimilarity Representation for Pattern Recognition: Foundations and Applications

دانلود کتاب Understanding Adobe Photoshop CS4: The Essential Techniques for Imaging Professionals

دانلود کتاب Remote sensing and GIS accuracy assessment

دانلود کتاب Beginning Java SE 6 Game Programming

دانلود کتاب Developing Enterprise iOS Applications: iPhone and iPad Apps for Companies and Organizations

کتاب های ریاضی

دانلود کتاب Geometric theory of discrete nonautonomous dynamical systems

دانلود کتاب Handbook of Satisfiability

دانلود کتاب Topics in complex analysis

دانلود کتاب Continuous Cohomology of Spaces With 2 Topologies (Memoirs of the American Mathematical Society Volume 7 Number 175)

دانلود کتاب Introduction to quadratic forms

کتاب های تکنولوژی

دانلود کتاب Nanostructure Design: Methods and Protocols

دانلود کتاب Fundamentals of Friction and Wear

دانلود کتاب Nanotechnology Applications And Markets

دانلود کتاب ?????? ??????????? ??????????? ?? ???? Fallout 4

دانلود کتاب Recent Trends in Biotechnology and Therapeutic Applications of Medicinal Plants

کتاب های مذهبی

دانلود کتاب Systematic Theology

دانلود کتاب The Cult of Saints in Late Antiquity and the Middle Ages: Essays on the Contribution of Peter Brown

دانلود کتاب The Old Testament and Criticism

دانلود کتاب Dragon Thunder: My Life with Chögyam Trungpa

دانلود کتاب The Real Cassian Revisited: Monastic Life, Greek Paideia, and Origenism in the Sixth Century

کتاب های فیزیولوژی

دانلود کتاب Shakespeare, Authority, Sexuality: Unfinished Business in Cultural Materialism

دانلود کتاب From Moon Goddesses to Virgins: The Colonization of Yucatecan Maya Sexual

دانلود کتاب The Power of Positive Teaching: 35 Successful Strategies for Active and Enthusiastic Classroom Participation

دانلود کتاب Sex Wars: Sexual Dissent and Political Culture (10th Anniversary Edition)

دانلود کتاب Nietzsche, Psychology, and First Philosophy

کتاب های تاریخی

دانلود کتاب U.S. Small Combatants

دانلود کتاب Polikarpov I-16

دانلود کتاب SdKfz 251 in Action

دانلود کتاب Webley and Scott Automatic Pistols

دانلود کتاب The Hawker Hurricane IIc

کتاب های زیست شناسی

دانلود کتاب Neural Stem Cells: Methods and Protocols

دانلود کتاب Fruit and Vegetable Biotechnology

دانلود کتاب Protein Sequencing Protocols

دانلود کتاب Taifun

دانلود کتاب Plant Physiology

کتاب های اقتصاد

دانلود کتاب Mastering Mambo: E-Commerce, Templates, Module Development, SEO, Security, and Performance

دانلود کتاب Enterprise j2Me Developing Mobile Java Applications

دانلود کتاب Securing Java: Getting Down to Business with Mobile Code, 2nd Edition

دانلود کتاب Controlling Strategy: Management, Accounting, and Performance Measurement

دانلود کتاب Managing and Deploying Check Point SecureClient

کتاب های آموزشی

دانلود کتاب Workbook Beginner. Enterprise 1

دانلود کتاب Medical Simulation: International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004. Proceedings

دانلود کتاب Floral Alphabet

دانلود کتاب Global Differential Geometry and Global Analysis: Proceedings of a Conference held in Berlin, 15–20 June, 1990

دانلود کتاب Japanese Sword Drawing - A Source Book For Iaido Students

کتاب های حقوق

دانلود کتاب The Crisis of Imprisonment: Protest, Politics, and the Making of the American Penal State, 1776-1941

دانلود کتاب In the Name of Hate: Understanding Hate Crimes

دانلود کتاب 101 Law Forms for Personal Use, 5th Edition

دانلود کتاب Lullabies for Little Criminals: A Novel (P.S.)

دانلود کتاب Non-governmental organisations in international law

کتاب های علوم انسانی

دانلود کتاب Phenomena, Atoms and Molecules

دانلود کتاب Categorical Data Analysis for the Behavioral and Social Sciences

دانلود کتاب Natural Fabrications: Science, Emergence and Consciousness

دانلود کتاب Men and Masculinities Around the World: Transforming Men's Practices

دانلود کتاب Literature and The Problem of Agency