Frontiers of Combining Systems: First International Workshop, Munich, March 1996: Applied Logic Series, cartea 3
Editat de F. Baader, K.U. Schulzen Limba Engleză Paperback – 21 apr 2014
Din seria Applied Logic Series
- 18%
Preț: 1170.76 lei - 20%
Preț: 957.51 lei - 18%
Preț: 905.63 lei - 15%
Preț: 621.80 lei - 18%
Preț: 1177.92 lei - 18%
Preț: 900.80 lei - 18%
Preț: 906.99 lei - 18%
Preț: 913.61 lei - 15%
Preț: 615.05 lei - 18%
Preț: 904.27 lei - 18%
Preț: 905.23 lei - 18%
Preț: 915.43 lei - 20%
Preț: 613.55 lei - 15%
Preț: 612.76 lei - 20%
Preț: 949.14 lei - 15%
Preț: 617.46 lei - 18%
Preț: 906.79 lei - 15%
Preț: 616.82 lei - 18%
Preț: 907.61 lei - 15%
Preț: 565.31 lei - 15%
Preț: 623.70 lei - 15%
Preț: 615.40 lei - 18%
Preț: 1074.51 lei - 18%
Preț: 752.69 lei - 18%
Preț: 905.04 lei - 18%
Preț: 903.12 lei - 18%
Preț: 905.44 lei -
Preț: 376.72 lei - 20%
Preț: 1228.59 lei - 18%
Preț: 915.65 lei - 18%
Preț: 695.18 lei - 15%
Preț: 610.94 lei - 15%
Preț: 613.80 lei - 15%
Preț: 614.41 lei -
Preț: 385.10 lei - 18%
Preț: 914.35 lei
Preț: 325.15 lei
Preț vechi: 406.44 lei
-20%
Puncte Express: 488
Carte tipărită la comandă
Livrare economică 08-22 iunie
Specificații
ISBN-13: 9789401066433
ISBN-10: 9401066434
Pagini: 408
Ilustrații: XI, 388 p. 6 illus.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.57 kg
Ediția:1996
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9401066434
Pagini: 408
Ilustrații: XI, 388 p. 6 illus.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.57 kg
Ediția:1996
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Applied Logic Series
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
Preface. An Overview of Fibred Semantics and the Combination of Logics; D.M. Gabbay. Generalising Propositional Modal Logic Using Labelled Deductive Systems; A. Russo. A Topography of Labelled Modal Logics; D. Basin, et al. Combining Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional; L. Fariñas del Cerro, A. Herzig. A New Correctness Proof of the Nelson-Oppen Combination Procedure; C. Tinelli, M. Harandi. Cooperation of Decision Procedures for the Satisfiability Problem; C. Ringeissen. Combining Finite Model Generation with Theorem Proving: Problems and Prospects; J. Slaney, T. Surendonk. Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems; F. Giunchiglia, et al. Natural Language Presentation and Combination of Automatically Generated Proofs; B.I. Dahn, A. Wolf. Symbolic Computation: Computer Algebra and Logic; B. Buchberger. Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems; J. Calmet, K. Homann. Logic Tuple Spaces for the Coordination of Heterogeneous Agents; E. Denti, et al. Integration Systems and Interaction Spaces; C. Landauer, K.L. Bellman. Combining Constraint Solvers in a Meta CLP Architecture; E. Lamma, et al. Membership-Constraints and Complexity in Logic Programming with Sets; F. Stolzenburg. Integrating Lists, Multisets, and Sets in a Logic Programming Framework; A. Dovier, et al. CLP(chi) for Proving Program Properties; F. Mesnard, et al. First-Order Constrained Lambda Calculus; J.N. Crossley, et al. Unified Relational Framework for Programming Paradigm Combination; N. Habra, B. le Charlier. Model Checking ACTL Constrained Processes; Xiao Jun Chen.