Frontiers of Combining Systems: 1st First International Workshop, Munich, March, 1996

av Franz Baader, Klaus U Schulz  (inbunden, 1996)

Pris:  1179:-
Specialorder (osäker tillgång). Skickas inom 11-20 vardagar.
Fri frakt inom Sverige för privatpersoner vid beställning på minst 99 kr!
Boken kan tyvärr inte levereras innan julafton.

Kundrecensioner

Bli först att betygsätta och recensera boken .

 (inbunden)
Fler böcker inom
  • Inbunden (hardback)
  • Språk: Engelska
  • Antal sidor: 399
  • Utg.datum: 1996-10-01
  • Förlag: Kluwer Academic Publishers
  • Illustrationer: Illustrations
  • Volymtitel: 1st First International Workshop, Munich, March, 1996
  • Dimensioner: 254 x 171 x 25 mm
  • Vikt: 861 g
  • Antal komponenter: 1
  • ISBN: 9780792342717

Bloggat om

Innehållsförteckning

An Overview of Fibred Semantics and the Combination of Logics; D.M. Gabbay. Generalizing 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. Farinas del Cerro, A. Herzig. A New Correctness Proof of the Nelson-Oppen Combination Procedure; C. Tinelli, M. Harandi. Co-operation 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 Co-operation Mechanisms for Logical and Symbolic Computation Systems; J. Calmet, K. Homann. Logic Tuple Spaces for the Co-ordination 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( ) 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.