Frontiers of Combining Systems: 1st First International Workshop, Munich, March, 1996 (inbunden)
Fler böcker inom
Inbunden (Hardback)
Antal sidor
Kluwer Academic Publishers
1st First International Workshop, Munich, March, 1996
254 x 171 x 25 mm
861 g
Antal komponenter

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

First International Workshop, Munich, March 1996

Inbunden, Engelska, 1996-10-01
1063 kr
Specialorder (osäker tillgång). Skickas inom 11-20 vardagar.
Fri frakt inom Sverige för privatpersoner.
This volume contains research papers that consider the problem of combining formal systems, algorithms, and software tools from the different perspectives of logic, computer science, and artificial intelligence. The emphasis lies on logical systems, automated deduction, and constraint logic programming, but topics like computer algebra systems and the logic modeling of multi-agent systems are also addressed.
Visa hela texten

Passar bra ihop

  1. Frontiers of Combining Systems: 1st First International Workshop, Munich, March, 1996
  2. +
  3. Astrophysics for People in a Hurry

De som köpt den här boken har ofta också köpt Astrophysics for People in a Hurry av Neil Degrasse Tyson (inbunden).

Köp båda 2 för 1225 kr


Har du läst boken? Sätt ditt betyg »

Bloggat om Frontiers of Combining Systems: 1st First...


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.