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

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

Pris:  1897:-
Specialorder (osäker tillgång). Skickas inom 11-20 vardagar.
Fri frakt vid beställning på minst 99 kr för privatpersoner i Sverige - Läs mer

Kundrecensioner

Bli först att betygsätta och recensera boken Frontiers of Combining Systems: 1st First International Workshop, Munich, March, 1996.

Bild saknas
  • Inbunden (hardback)
  • Språk: Engelska
  • Antal sidor: 400
  • 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

Fler böcker av författarna

Visa alla böcker av Franz Baader, Klaus U Schulz
The Description Logic Handbook (inbunden)
Term Rewriting and All That (inbunden)
Description Logic Handbook (inbunden)
Linguistics, Computer Science and Language Processing (inbunden)

The Description Logic Handbook

Franz Baader
Häftad
466:-

Term Rewriting and All That

Franz Baader
Häftad
418:-

Description Logic Handbook

Franz Baader, Diego Calvanese m fl
E-bok
584:-

Linguistics, Computer Science and Language Processing

Gaston Gross, Klaus U Schulz
Häftad
315:-

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

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.