最 低 价：￥488.20
定 价：￥542.40
作 者：BernhardGramlich 著 著
出 版 社：Oversea Publishing House
出版时间：2005-10-1
I S B N：9783540290513
| Logics, Theories, and Decision Procedures I Invited Contribution: A Comprehensive Framework for Combined Decision Procedures Connecting Many-Sorted Structures and Theories Through Adjoint Functions Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal Interface Formalisms Invited Contribution: Sociable Interfaces Logics, Theories, and Decision Procedures II About the Combination of Trees and Rational Numbers in a Complete First-Order Theory A Complete Temporal and Spatial Logic for Distributed Systems Constraint Solving and Programming Invited Contribution: Hybrid CSP Solving An Efficient Decision Procedure for UTVPI Constraints Declarative Constraint Programming with Definitional Trees Logical Problem Analysis and Encoding I Logical Analysis of Hash Functions Combination Issues in Rewriting and Programming Proving and Disproving Termination of Higher-Order Functions Proving Liveness with Fairness Using Rewriting A Concurrent Lambda Calculus with Futures Compositional System Design and Refinement Tutorial: The ASM Method for System Design and Analysis. A Tutorial Introduction Logical Problem Analysis and Encoding II Invited Contribution: Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources Theorem Proving Frameworks and Systems Connecting a Logical Framework to a First-Order Logic Prover System Description: Combination of Isabelle/HOL with Automatic Tools System Description: ATS: A Language That Combines Programming with Theorem Proving Author Index |
内容加载中，请稍后...
商品评论（0条）